diff -r 3308eeb73d11 -r 80102fba0a93 marking1/tails
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/marking1/tails	Sun Dec 09 01:36:49 2018 +0000
@@ -0,0 +1,15 @@
+#!/bin/sh
+###set -e
+
+trap "exit" INT
+
+files=${1:-assignment20177-*}
+
+for sd in $files; do
+  cd $sd
+  #echo $sd
+  tail -1 output
+  cd ..
+done
+
+