diff options
Diffstat (limited to 'tools/execute_command.sh')
| -rwxr-xr-x | tools/execute_command.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/execute_command.sh b/tools/execute_command.sh index b98aa55..c6504bf 100755 --- a/tools/execute_command.sh +++ b/tools/execute_command.sh @@ -68,7 +68,7 @@ main() { # Run command (do not let failures exit the tool) set +e - bash -lc "$cmd" >"$out_file" 2>"$err_file" + : | bash -lc "$cmd" >"$out_file" 2>"$err_file" rc=$? set -e |