diff -r 175a950470a9 -r 0930e4555b60 main_marking4/mk
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/main_marking4/mk	Sun Jan 31 00:18:14 2021 +0000
@@ -0,0 +1,32 @@
+#!/bin/sh
+###set -e
+
+trap "exit" INT
+
+files=${1:-*/main4}
+
+for sd in $files; do
+  cd $sd
+  echo $sd
+  sleep 5
+  touch .
+  cp ../../../../../main_marking4/knight2_test.sh .
+  cp ../../../../../main_marking4/knight1_test4.scala .
+  cp ../../../../../main_marking4/knight1_test5.scala .
+  cp ../../../../../main_marking4/knight2_test6.scala .
+  cp ../../../../../main_marking4/knight2_test7.scala .
+  cp ../../../../../main_marking4/knight2_test8.scala .
+  cp ../../../../../main_marking4/knight3_test9.scala .
+  ./knight2_test.sh output
+  rm knight2_test.sh
+  rm knight1_test4.scala
+  rm knight1_test5.scala
+  rm knight2_test6.scala
+  rm knight2_test7.scala
+  rm knight2_test8.scala
+  rm knight3_test9.scala
+  cd ..
+  cd ..
+done
+
+