main_marking4/mk
changeset 424 daf561a83ba6
parent 423 e9d14d58be3c
child 425 957808dcb367
--- a/main_marking4/mk	Thu Jan 13 12:55:03 2022 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,32 +0,0 @@
-#!/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
-
-