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