diff -r 5e489c9fe47b -r b5f3e814a710 marking2/mk-advanced --- a/marking2/mk-advanced Fri Nov 30 13:06:09 2018 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,24 +0,0 @@ -#!/bin/sh -###set -e - -trap "exit" INT - -files=${1:-assignment20177-*} - -for sd in $files; do - cd $sd - echo $sd - touch . - cp ../../../marking2/knight3_test.sh . - cp ../../../marking2/knight3a_test.scala . - cp ../../../marking2/knight3b_test.scala . - cp ../../../marking2/knight3c_test.scala . - ./knight3_test.sh output - rm knight3_test.sh - rm knight3a_test.scala - rm knight3b_test.scala - rm knight3c_test.scala - cd .. -done - -