cf. 9a9f97712a46b62a0199490d766e3a3397e3b7ff
Unified · Split
| @@ -3,13 +3,13 @@ set -eu · 2 unmodified lines | |||
| 3 | 3 | ||
| 4 | now() { date +%s; } | 4 | now() { date +%s; } |
| 5 | S=$(now) | 5 | S=$(now) |
| 6 | vecho() { ${vecho-:} "$*"; } | 6 | vecho() { ${vecho-:} "$@"; } |
| 7 | executable_p() { command -v "$1" >/dev/null 2>&1; } | 7 | executable_p() { command -v "$1" >/dev/null 2>&1; } |
| 8 | dgst='cksum $* | while read d _; do printf $d; done' | 8 | dgst='cksum "$@" | while read d _; do printf $d; done' |
| 9 | ! executable_p b3sum || dgst='b3sum --no-names $*' | 9 | ! executable_p b3sum || dgst='b3sum --no-names "$@"' |
| 10 | executable_p realpath || realpath() (cd "$1" &>/dev/null; pwd -P) | 10 | executable_p realpath || realpath() (cd "$1" &>/dev/null; pwd -P) |
| 11 | eval "digest() { $dgst; } 2>/dev/null" | 11 | eval "digest() { $dgst; } 2>/dev/null" |
| 12 | die() { echo "$*" >&2; exit 111; } | 12 | die() { echo "$@" >&2; exit 111; } |
| 13 | trap 'echo "$(test $? -eq 0 || echo "fail ")$(($(now) - $S)) sec"' EXIT | 13 | trap 'echo "$(test $? -eq 0 || echo "fail ")$(($(now) - $S)) sec"' EXIT |
| 14 | 14 | ||
| 15 | darwin=false | 15 | darwin=false |
| @@ -142,7 +142,7 @@ cvers=$($ccomp --version | { read v; echo $v; }) · 126 unmodified lines | |||
| 142 | 142 | ||
| 143 | bocaml1() { | 143 | bocaml1() { |
| 144 | grep -q "$3" $outd/ordered || { | 144 | grep -q "$3" $outd/ordered || { |
| 145 | bocaml2 $* | 145 | bocaml2 "$@" |
| 146 | echo "$3" >>"$outd/ordered" | 146 | echo "$3" >>"$outd/ordered" |
| 147 | } | 147 | } |
| 148 | } | 148 | } |