diff options
author | Tomasz Kramkowski <tk@the-tk.com> | 2021-08-06 15:52:00 +0100 |
---|---|---|
committer | Tomasz Kramkowski <tk@the-tk.com> | 2021-08-06 15:52:00 +0100 |
commit | 12309732c08ba06733b05d5d2ecfdb0018c89e17 (patch) | |
tree | f4e7d252a249391911d206b0d20f06696054480e | |
parent | d0179dd92e9fec59f9f337f02fa93675ba64fe6c (diff) | |
download | pack-12309732c08ba06733b05d5d2ecfdb0018c89e17.tar.gz pack-12309732c08ba06733b05d5d2ecfdb0018c89e17.tar.xz pack-12309732c08ba06733b05d5d2ecfdb0018c89e17.zip |
default.o.do: rename compiler to tool
-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 |