diff options
Diffstat (limited to 'm/runmath.sh')
-rwxr-xr-x | m/runmath.sh | 17 |
1 files changed, 3 insertions, 14 deletions
diff --git a/m/runmath.sh b/m/runmath.sh index 306b2e1..18196d1 100755 --- a/m/runmath.sh +++ b/m/runmath.sh @@ -3,8 +3,6 @@ # Abort on errors set -e -MATHEMATICA="math" - script=$1 if test -z "$script"; then @@ -18,17 +16,8 @@ output=$(basename $script .m).out rm -f $output -# Run Mathematica to regenerate the code -< $script "$MATHEMATICA" | tee $error - -if grep 'KrancError' $error; then - echo - echo "There was an error when running Kranc on $script." - echo "The file $error contains details." - echo - echo "*** The Cactus thorns have NOT been updated. ***" - echo - exit 1 -fi +# Run Kranc to regenerate the code +../../../repos/Kranc/Bin/kranc $script | tee $error +[ $PIPESTATUS -eq 0 ] || exit $PIPESTATUS mv $error $output |