diff -r 5e489c9fe47b -r b5f3e814a710 marking3/marking2/mk --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/marking3/marking2/mk Fri Nov 30 14:13:11 2018 +0000 @@ -0,0 +1,28 @@ +#!/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 + +