marking3/mk
changeset 332 703c7e42bf46
parent 326 e5453add7df6
--- a/marking3/mk	Tue Feb 04 14:15:42 2020 +0000
+++ b/marking3/mk	Wed Feb 05 12:24:27 2020 +0000
@@ -14,16 +14,12 @@
   cp ../../../../../marking3/knight1_test2.scala .
   cp ../../../../../marking3/knight1_test3a.scala .
   cp ../../../../../marking3/knight1_test3b.scala .
-  #cp ../../../../../marking3/knight1_test4.scala .
-  #cp ../../../../../marking3/knight1_test5.scala .
-  ./knight1_test.sh output1
+  ./knight1_test.sh output
   rm knight1_test.sh
   rm knight1_test1.scala
   rm knight1_test2.scala
   rm knight1_test3a.scala 
   rm knight1_test3b.scala
-  #rm knight1_test4.scala
-  #rm knight1_test5.scala
   cd ..
   cd ..
 done