Add check in again

openPMD · Jun 7, 2024 · ed25000 · ed25000
1 parent 72a465c
commit ed25000
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/mpirun_workaround.sh b/.github/workflows/mpirun_workaround.sh
@@ -14,6 +14,12 @@
 # This script provides a workaround by putting the called sub-command into
 # a script in a temporary file.
 
+ls="$(which ls)"
+mpiexec "$ls" -m \
+    && echo "MPIRUN WORKING AGAIN, PLEASE REMOVE WORKAROUND" >&2 \
+    && exit 1 \
+    || true
+
 mpirun_args=()
 
 script_file="$(mktemp)"