marking3/marking2/mk
changeset 331 e3878cdd38bc
parent 330 c3d3461a5e77
child 332 703c7e42bf46
--- a/marking3/marking2/mk	Tue Feb 04 11:20:31 2020 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,28 +0,0 @@
-#!/bin/sh
-###set -e
-
-trap "exit" INT
-
-files=${1:-assignment20177-*}
-
-for sd in $files; do
-  cd $sd
-  echo $sd
-  touch .
-  cp ../../../marking2/knight1_test.sh .
-  cp ../../../marking2/kinght1a_test.scala .
-  cp ../../../marking2/knight1b_test.scala .
-  cp ../../../marking2/knight1c_test.scala .
-  cp ../../../marking2/knight2a_test.scala .
-  cp ../../../marking2/knight2b_test.scala .
-  ./knight1_test.sh output
-  rm knight1_test.sh
-  rm kinght1a_test.scala
-  rm kinght1b_test.scala
-  rm kinght1c_test.scala 
-  rm kinght2a_test.scala
-  rm kinght2b_test.scala
-  cd ..
-done
-
-