diff -r 6282b88511d8 -r ed63dca8068a pre_marking4/mk
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/pre_marking4/mk	Fri Jan 22 10:37:55 2021 +0000
@@ -0,0 +1,30 @@
+#!/bin/sh
+###set -e
+
+trap "exit" INT
+
+files=${1:-*/pre4}
+
+for sd in $files; do
+  cd $sd
+  echo $sd
+  sleep 15
+  touch .
+  cp ../../../../../pre_marking4/knight1_test.sh .
+  cp ../../../../../pre_marking4/knight1_test1.scala .
+  cp ../../../../../pre_marking4/knight1_test2.scala .
+  cp ../../../../../pre_marking4/knight1_test3a.scala .
+  cp ../../../../../pre_marking4/knight1_test3b.scala .
+  cp ../../../../../pre_marking4/knight1_test3c.scala .
+  ./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_test3c.scala
+  cd ..
+  cd ..
+done
+
+