diff -r 5e489c9fe47b -r b5f3e814a710 marking4/mk --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/marking4/mk Fri Nov 30 14:13:11 2018 +0000 @@ -0,0 +1,28 @@ +#!/bin/sh +###set -e + +trap "exit" INT + +files=${1:-assignment20178-*} + +for sd in $files; do + cd $sd + echo $sd + touch . + cp ../../../marking3/re_test.sh . + cp ../../../marking3/re1a_test.scala . + cp ../../../marking3/re1b_test.scala . + cp ../../../marking3/re1c_test.scala . + cp ../../../marking3/re1d_test.scala . + cp ../../../marking3/re1e_test.scala . + ./re_test.sh output + rm re_test.sh + rm re1a_test.scala + rm re1b_test.scala + rm re1c_test.scala + rm re1d_test.scala + rm re1e_test.scala + cd .. +done + +