marking/mark01b
changeset 83 2dbab2e6a3ba
parent 82 28c8e17ab83a
child 84 8b132f8de8c7
equal deleted inserted replaced
82:28c8e17ab83a 83:2dbab2e6a3ba
   101     echo "  --> test failed" | tee -a $out
   101     echo "  --> test failed" | tee -a $out
   102   fi
   102   fi
   103 fi
   103 fi
   104 
   104 
   105 ## final marks
   105 ## final marks
   106 echo "Overall mark for CW 1, Part 3:" | tee -a $out
   106 echo "Overall mark for CW 6, Part 3:" | tee -a $out
   107 echo "$marks" | tee -a $out
   107 echo "$marks" | tee -a $out