| changeset 84 | 8b132f8de8c7 |
| parent 83 | 2dbab2e6a3ba |
| child 86 | f8a781322499 |
| 83:2dbab2e6a3ba | 84:8b132f8de8c7 |
|---|---|
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 6, Part 3:" | tee -a $out |
106 echo "Overall mark for CW 1, Part 3:" | tee -a $out |
107 echo "$marks" | tee -a $out |
107 echo "$marks" | tee -a $out |