diff -r 703c7e42bf46 -r 24bc76d97db2 Attic/mk-bf
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Attic/mk-bf	Fri Apr 10 12:12:48 2020 +0100
@@ -0,0 +1,28 @@
+#!/bin/sh
+###set -e
+
+trap "exit" INT
+
+files=${1:-assignment201810-*}
+
+for sd in $files; do
+  cd $sd
+  echo $sd
+  touch .
+  cp ../../../marking5/bf_test.sh .
+  cp ../../../marking5/bf_test1.scala .
+  cp ../../../marking5/bf_test2.scala .
+  cp ../../../marking5/bf_test3.scala .
+  cp ../../../marking5/bf_test4.scala .
+  cp ../../../marking5/benchmark.bf .
+  ./bf_test.sh output
+  rm bf_test.sh
+  rm bf_test1.scala
+  rm bf_test2.scala
+  rm bf_test3.scala
+  rm bf_test4.scala
+  rm benchmark.bf
+  cd ..
+done
+
+