main_marking5/mk_main5
changeset 460 f5c0749858fd
parent 421 864107857d27
child 491 2a30c7dfe3ed
--- a/main_marking5/mk_main5	Sun Jan 15 10:58:13 2023 +0000
+++ b/main_marking5/mk_main5	Sat Mar 11 22:01:53 2023 +0000
@@ -16,6 +16,7 @@
   cp ../../../../../main_marking5/bf_test3.scala .
   cp ../../../../../main_marking5/bf_test4.scala .
   cp ../../../../../main_marking5/bf_test4b.scala .
+  cp ../../../../../main_marking5/bf_test4c.scala .
   cp ../../../../../main_marking5/bf_test5.scala .
   cp ../../../../../main_marking5/bf_test6.scala .
   cp ../../../../../main_marking5/bf_test7.scala .
@@ -27,6 +28,7 @@
   rm bf_test3.scala
   rm bf_test4.scala
   rm bf_test4b.scala
+  rm bf_test4c.scala
   rm bf_test5.scala
   rm bf_test6.scala
   rm bf_test7.scala