blob: 69439500ca0f4ccc01d18d8b545af02f1167ce9a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
#! /bin/bash
# Abort on errors
set -e
script=$1
if test -z "$script"; then
echo "Usage:"
echo "$0 <script.m>"
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
|
