diff options
Diffstat (limited to 'default.cmd.do')
-rwxr-xr-x | default.cmd.do | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/default.cmd.do b/default.cmd.do new file mode 100755 index 0000000..a726a0c --- /dev/null +++ b/default.cmd.do @@ -0,0 +1,12 @@ +#!/usr/bin/env bash +set -e +src=${1%.cmd}.c +if grep -q '@BUILD_CC host' "$src"; then + tool=compile-host.tool +else + tool=compile.tool +fi +redo-ifchange "$tool" "$src" +. ./"$tool" "${1%.cmd}.o" "$2" "$3" +jq -n --arg d "$PWD" --arg c "${cmd[*]@Q}" --arg f "$src" \ + '{directory:$d, command:$c, file:$f}' >"$3" |