Handle wolframscript segmentation faults on exit

WolframResearch · Oct 15, 2022 · fcd3ef7 · fcd3ef7
1 parent 67af9a8
commit fcd3ef7
Showing 1 changed file with 17 additions and 4 deletions.
diff --git a/src/main.sh b/src/main.sh
@@ -1,13 +1,26 @@
 #!/bin/bash
 
-set -e
-
 export SCRIPT_DIR=$(dirname ${0})
 
+wolfram_script () { 
+    wolframscript -script "${1}"
+    WS_EXIT_CODE=$(echo $?)
+    case $WS_EXIT_CODE in
+        0)
+            ;;
+        139)
+            echo "::warning::Warning: wolframscript did not exit cleanly"
+            ;;
+        *)
+            exit $WS_EXIT_CODE
+            ;;
+    esac
+}
+
 echo "::group::Installing dependencies..."
-wolframscript ${SCRIPT_DIR}/install_dependencies.wls
+wolfram_script "${SCRIPT_DIR}/install_dependencies.wls"
 echo "::endgroup::"
 
 echo "::group::Building Paclet..."
-wolframscript ${SCRIPT_DIR}/build_paclet.wls
+wolfram_script "${SCRIPT_DIR}/build_paclet.wls"
 echo "::endgroup::"