diff -r e87462c9b895 -r d29cd5883c7b pre_marking1/mk
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/pre_marking1/mk	Fri Nov 27 00:55:24 2020 +0000
@@ -0,0 +1,25 @@
+#!/bin/sh
+###set -e
+
+trap "exit" INT
+
+files=${1:-*/pre1}
+
+for sd in $files; do
+  cd $sd
+  echo $sd
+  touch .
+  cp ../../../../marking1/collatz_test.sh .
+  cp ../../../../marking1/collatz_test1.scala .
+  cp ../../../../marking1/collatz_test2.scala .
+  cp ../../../../marking1/collatz_test3.scala .
+  ./collatz_test.sh output1
+  rm collatz_test.sh
+  rm collatz_test1.scala
+  rm collatz_test2.scala
+  rm collatz_test3.scala
+  cd ..
+  cd ..
+done
+
+