Skip to content

Commit

Permalink
Workaround for 424970
Browse files Browse the repository at this point in the history
  • Loading branch information
rhennigan committed Oct 17, 2022
1 parent 5aa8529 commit 885ba83
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/main.sh
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
export SCRIPT_DIR=$(dirname ${0})

wolfram_script () {
wolframscript -script "${1}"
wolframscript -file "${1}"
WS_EXIT_CODE=$(echo $?)
case $WS_EXIT_CODE in
0)
Expand Down

0 comments on commit 885ba83

Please sign in to comment.