clippy: allow for propagation of conversion error

csutils · May 27, 2024 · d216903 · d216903
1 parent 58a89df
commit d216903
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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]