diff options
Diffstat (limited to 'script')
| -rwxr-xr-x | script/trees | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/script/trees b/script/trees index aa32df81..835cd504 100755 --- a/script/trees +++ b/script/trees @@ -297,8 +297,7 @@ copy_elf() { [ -f "$listfile" ] && x_ mkdir -p "$dest_dir" && while read -r f; do [ -f "$cdir/$f" ] && x_ cp "$cdir/$f" "$dest_dir" - done < "$listfile" - x_ make clean -C "$cdir" + done < "$listfile"; x_ make clean -C "$cdir" } main $@ |