diff options
| author | Tomasz Kramkowski <tk@the-tk.com> | 2021-08-07 15:08:21 +0100 |
|---|---|---|
| committer | Tomasz Kramkowski <tk@the-tk.com> | 2021-08-07 15:11:49 +0100 |
| commit | f382d3caec8c30c3884d5616da04f5a663afa39e (patch) | |
| tree | 080aad2a2c396f83e87e351e51fdd8cd246090f1 | |
| parent | 2e73916323acd066c7319f65ecddd5d4a15bc1f3 (diff) | |
| download | pack-f382d3caec8c30c3884d5616da04f5a663afa39e.tar.gz pack-f382d3caec8c30c3884d5616da04f5a663afa39e.tar.xz pack-f382d3caec8c30c3884d5616da04f5a663afa39e.zip | |
set -o pipefail when it is necessary
| -rwxr-xr-x | compile_commands.json.do | 2 | ||||
| -rwxr-xr-x | default.o.do | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/compile_commands.json.do b/compile_commands.json.do index f01e0fa..6dd1db8 100755 --- a/compile_commands.json.do +++ b/compile_commands.json.do @@ -1,5 +1,5 @@ #!/usr/bin/env bash -set -e +set -e -o pipefail cmds=(common.cmd ieee754b.cmd pack.cmd test.cmd test_gen.cmd trace.cmd unpack.cmd) redo-ifchange "${cmds[@]}" cat "${cmds[@]}" | jq -s >"$3" diff --git a/default.o.do b/default.o.do index 1d0fb41..99f9434 100755 --- a/default.o.do +++ b/default.o.do @@ -1,5 +1,5 @@ #!/usr/bin/env bash -set -e +set -e -o pipefail redo-ifchg-pipe() { tr '\n' '\0' | xargs -r0 redo-ifchange; } src=${1%.o}.c if grep -q '@BUILD_CC host' "$src"; then |