#! /bin/bash # Abort on errors set -e script=$1 if test -z "$script"; then echo "Usage:" echo "$0 " exit 2 fi if [ -z "${KRANC_PATH}" ]; then echo "Path to Kranc not set. Set the KRANC_PATH env var." exit 3 fi error=$(basename $script .m).err output=$(basename $script .m).out rm -f $output # Run Kranc to regenerate the code ${KRANC_PATH} $script | tee $error [ $PIPESTATUS -eq 0 ] || exit $PIPESTATUS mv $error $output