Commit ca28660f authored by Michael Hanus 's avatar Michael Hanus

Test output modified

parent 2957d6f6
Pipeline #1481 passed with stages
in 66 minutes and 5 seconds
......@@ -62,7 +62,7 @@ if [ $VERBOSE = yes ] ; then
else
exec_all_tests > $LOGFILE 2>&1
if [ $? -gt 0 ] ; then
echo "ERROR in curry check:"
echo "ERROR occurred during testing with CurryCheck:"
cat $LOGFILE
/bin/rm -f $LOGFILE
exit 1
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment