add 'set -eo pipefail' to compiler pipeline to catch errors early

xdslproject · Jul 20, 2023 · 1142684 · 1142684
1 parent 479d478
commit 1142684
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/devito/operator/xdsl_operator.py b/devito/operator/xdsl_operator.py
@@ -151,7 +151,8 @@ def _jit_compile(self):
                 if is_gpu:
                     cflags += " -lmlir_cuda_runtime "
 
-                cmd = f'xdsl-opt -p {xdsl_pipeline} |' \
+                cmd = 'set -eo pipefail; '\
+                    f'xdsl-opt -p {xdsl_pipeline} |' \
                     f'mlir-opt -p {mlir_pipeline} | ' \
                     f'mlir-translate --mlir-to-llvmir | ' \
                     f'{cc} {cflags} -shared -o {self._tf.name} {self._interop_tf.name} -xir -'