diff options
| -rwxr-xr-x | default.o.do | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/default.o.do b/default.o.do index 0d129c4..1d0fb41 100755 --- a/default.o.do +++ b/default.o.do @@ -3,11 +3,11 @@ set -e redo-ifchg-pipe() { tr '\n' '\0' | xargs -r0 redo-ifchange; } src=${1%.o}.c if grep -q '@BUILD_CC host' "$src"; then - compiler=compile-host.tool + tool=compile-host.tool else - compiler=compile.tool + tool=compile.tool fi -redo-ifchange "$compiler" .parse-deps.sed "$src" +redo-ifchange "$tool" .parse-deps.sed "$src" sed -n 's|.*@BUILD_DEP \(.*\)|\1|p' "$src" | redo-ifchg-pipe -. "./$compiler" +. "./$tool" "${cmd[@]}" | sed -f .parse-deps.sed | redo-ifchg-pipe |