More output for Jenkins
#!/bin/bash
-set -e
+set -eux
THIS=$0
EXEC=${THIS%.sh}.x
OUTPUT=${THIS%.sh}.out
-mpiexec -n 4 ${EXEC} > ${OUTPUT} 2>&1
+if mpiexec -n 4 ${EXEC} > ${OUTPUT} 2>&1
+then
+ echo "OK"
+else
+ CODE=$?
+ echo "FAILED: CODE=$CODE"
+ cat $OUTPUT
+fi
+
+exit $CODE
