diff -r ea0d0a862a9c -r ff8d075842d5 marking/mk
--- a/marking/mk	Thu Dec 01 17:08:12 2016 +0000
+++ b/marking/mk	Thu Dec 01 22:08:00 2016 +0000
@@ -1,14 +1,13 @@
 #!/bin/sh
 ###set -e
 
-
+trap "exit" INT
 for sd in k*; do
   cd $sd
   echo $sd
-  ../mark
+  #../mark
+  ../mark01b
   cd ..
 done
 
 
-#scala -i collatz.scala -e "println(\"test\")"
-#