From f382d3caec8c30c3884d5616da04f5a663afa39e Mon Sep 17 00:00:00 2001 From: Tomasz Kramkowski Date: Sat, 7 Aug 2021 15:08:21 +0100 Subject: set -o pipefail when it is necessary --- compile_commands.json.do | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'compile_commands.json.do') 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" -- cgit v1.2.3-54-g00ecf