diff options
Diffstat (limited to 'default.o.do')
-rwxr-xr-x | default.o.do | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/default.o.do b/default.o.do index c7e415b..a2a5e38 100755 --- a/default.o.do +++ b/default.o.do @@ -1,8 +1,6 @@ #!/bin/bash -e +redo-ifchg-pipe() { tr '\n' '\0' | xargs -r0 redo-ifchange; } src=${1%.o}.c redo-ifchange .compile .parse-depfile "$src" -sed -n 's|.*@BUILD_DEP \(.*\)|\1|p' "$src" | tr '\n' '\0' | xargs -r0 redo-ifchange -depfile=$(mktemp) -. ./.compile -./.parse-depfile "$depfile" | tr '\n' '\0' | xargs -r0 redo-ifchange -rm "$depfile" +sed -n 's|.*@BUILD_DEP \(.*\)|\1|p' "$src" | redo-ifchg-pipe +. ./.compile | ./.parse-depfile | redo-ifchg-pipe |