diff options
Diffstat (limited to 'm')
-rwxr-xr-x | m/runmath.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/m/runmath.sh b/m/runmath.sh index 3c7615b..21ad75b 100755 --- a/m/runmath.sh +++ b/m/runmath.sh @@ -17,7 +17,8 @@ output=$(basename $script .m).out rm -f $output # Run Kranc to regenerate the code -../../../../repos/Kranc/Bin/kranc $script | tee $error +: ${KRANCPATH=../../../../repos/Kranc} +${KRANCPATH}/Bin/kranc $script | tee $error [ $PIPESTATUS -eq 0 ] || exit $PIPESTATUS mv $error $output |