diff options
| author | Leonard Anderweit <[email protected]> | 2025-02-26 22:05:00 +0100 |
|---|---|---|
| committer | Tom Rini <[email protected]> | 2025-03-12 10:25:25 -0600 |
| commit | b48bc416206788da990c34ddcf92d5c3816247ea (patch) | |
| tree | 703b8faa8a7da649e4cb73d86f5512c59703c01a /include | |
| parent | 5f2096d2bc58ac265110777d08673a0e4b27cd84 (diff) | |
binman: build_from_git: Add optional make path inside git repo
Add optional argument make_path to build_from git. The new argument
allows specifying the path to a Makefile in case it is not in the root
of the git repo.
Also adjust the corresponding test.
Signed-off-by: Leonard Anderweit <[email protected]>
Reviewed-by: Simon Glass <[email protected]>
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions