diff options
author | Leah Rowe <leah@libreboot.org> | 2024-06-06 09:20:45 +0100 |
---|---|---|
committer | Leah Rowe <leah@libreboot.org> | 2024-06-06 09:20:45 +0100 |
commit | 7e49fe4b9b931f6b0eb3d8ecb3e684daadac9131 (patch) | |
tree | c2a09bc746fdf09f517e084c48673bd688a87a09 /script/trees | |
parent | 12774274782f461523593c2bfd99c914e949efd3 (diff) |
trees: skip single-tree build if a build exists
this replicates the same behaviour as multi-tree builds,
checking for files inside the relevant elf/ directory
Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'script/trees')
-rwxr-xr-x | script/trees | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/script/trees b/script/trees index 21f05e5d..c806b92a 100755 --- a/script/trees +++ b/script/trees @@ -59,6 +59,7 @@ build_projects() [ -f "$listfile" ] || listfile="" # optional on single-tree dest_dir="$elfdir" + elfcheck || return 0 cdir="src/${project}" [ -d "$cdir" ] || x_ ./update trees -f "$project" @@ -175,11 +176,17 @@ check_config() [ -f "$config" ] || $err "check_config $project/$target: no config" dest_dir="$elfdir/$target/$config_name" + elfcheck || return 1 # skip build if a previous one exists + + x_ mkdir -p "$dest_dir" +} + +elfcheck() +{ # TODO: very hacky check. do it properly (based on build.list) for elftest in "$dest_dir"/*; do e "$elftest" f && return 1 done - x_ mkdir -p "$dest_dir" } handle_makefile() |