pre_marking4/mk
changeset 486 9c03b5e89a2a
parent 485 19b75e899d37
child 487 efad9725dfd8
--- a/pre_marking4/mk	Fri Apr 26 17:29:30 2024 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,30 +0,0 @@
-#!/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
-
-