marking5/tails
changeset 286 5c57c407e27b
parent 285 bd9d142d2cd8
child 287 c493eaba6018
equal deleted inserted replaced
285:bd9d142d2cd8 286:5c57c407e27b
     1 #!/bin/sh
       
     2 ###set -e
       
     3 
       
     4 trap "exit" INT
       
     5 
       
     6 files=${1:-assignment201810-*}
       
     7 
       
     8 for sd in $files; do
       
     9   cd $sd
       
    10   #echo $sd
       
    11   marksone=$(( `tail -1 output` ))
       
    12   markstwo=$(( `tail -1 output1` ))
       
    13   if [ "$marksone" != "$markstwo" ]; then
       
    14       echo $sd + "is different"
       
    15   fi
       
    16   cd ..
       
    17 done
       
    18 
       
    19