From 589cbdb9b2b04e13ed4a4b3d3bd4a1c92c9688da Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franz=20P=C3=B6schel?= <franz.poeschel@gmail.com>
Date: Wed, 6 Dec 2023 16:14:22 +0100
Subject: [PATCH] Add mechanism to get rid of the workaround again in future

---
 .github/workflows/mpirun_workaround.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/mpirun_workaround.sh b/.github/workflows/mpirun_workaround.sh
index c67bf49ae4..cae5a9e791 100755
--- a/.github/workflows/mpirun_workaround.sh
+++ b/.github/workflows/mpirun_workaround.sh
@@ -14,6 +14,11 @@
 # This script provides a workaround by putting the called sub-command into
 # a script in a temporary file.
 
+mpiexec -n 1 ls --all \
+    && echo "MPIRUN WORKING AGAIN, PLEASE REMOVE WORKAROUND" >&2 \
+    && exit 1 \
+    || true
+
 mpirun_args=()
 
 script_file="$(mktemp)"