marking5/tails
changeset 286 5c57c407e27b
parent 285 bd9d142d2cd8
child 287 c493eaba6018
--- a/marking5/tails	Wed Oct 30 11:51:02 2019 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,19 +0,0 @@
-#!/bin/sh
-###set -e
-
-trap "exit" INT
-
-files=${1:-assignment201810-*}
-
-for sd in $files; do
-  cd $sd
-  #echo $sd
-  marksone=$(( `tail -1 output` ))
-  markstwo=$(( `tail -1 output1` ))
-  if [ "$marksone" != "$markstwo" ]; then
-      echo $sd + "is different"
-  fi
-  cd ..
-done
-
-