24 lines
351 B
Plaintext
Executable file
24 lines
351 B
Plaintext
Executable file
echo -n $1 " "
|
|
if abc - -o $1.x -fp $1
|
|
then
|
|
if $1.x >$1.r
|
|
then :; else
|
|
echo -n "------- execution error(s)"
|
|
fi
|
|
if diff $1.g $1.r >$1.d 2>/dev/null
|
|
then
|
|
echo -*- Ok
|
|
else
|
|
if test -r $1.g
|
|
then
|
|
echo ------- differences in executing $1
|
|
cat $1.d
|
|
else
|
|
mv $1.r $1.g
|
|
fi
|
|
fi
|
|
rm $1.[rd]
|
|
else
|
|
echo "------- compilation error(s)"
|
|
fi
|