marking/mark01b
changeset 86 f8a781322499
parent 84 8b132f8de8c7
child 99 e10a9b2fd35a
--- a/marking/mark01b	Thu Dec 08 12:50:54 2016 +0000
+++ b/marking/mark01b	Tue Dec 13 13:02:52 2016 +0000
@@ -39,7 +39,7 @@
 
 if (scala_compile drumb.scala)
 then
-  echo "  --> success" | tee -a $out
+  echo "  --> yes" | tee -a $out
   tsts=$(( 0 ))
 else
   echo "  --> scala did not run drumb.scala" | tee -a $out