diff --git a/py/plugins/clippy.py b/py/plugins/clippy.py index fe860dd..17dbc81 100644 --- a/py/plugins/clippy.py +++ b/py/plugins/clippy.py @@ -38,7 +38,7 @@ def install_clippy_hook(results, mock): def convert_hook(results): src = f"{results.dbgdir_raw}{CLIPPY_OUTPUT}" dst = f"{results.dbgdir_uni}/clippy-capture.err" - cmd = f'{RUN_CLIPPY_CONVERT} < {src} | csgrep --remove-duplicates > {dst}' + cmd = f'set -o pipefail; {RUN_CLIPPY_CONVERT} < {src} | csgrep --remove-duplicates > {dst}' return results.exec_cmd(cmd, shell=True) props.post_process_hooks += [convert_hook]