diff options
Diffstat (limited to 'compile_commands.json.do')
| -rwxr-xr-x | compile_commands.json.do | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compile_commands.json.do b/compile_commands.json.do index 6dd1db8..d7b2ae7 100755 --- a/compile_commands.json.do +++ b/compile_commands.json.do @@ -3,3 +3,4 @@ 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" +# vim:ft=bash |