changeset 331 | e3878cdd38bc |
parent 326 | e5453add7df6 |
child 384 | 6e1237691307 |
--- a/marking3/knight1_test.sh Tue Feb 04 11:20:31 2020 +0000 +++ b/marking3/knight1_test.sh Tue Feb 04 14:15:42 2020 +0000 @@ -165,7 +165,7 @@ then END=$(date +%s) DIFF=$(( $END - $START )) - echo " It took $DIFF seconds" | tee -a $out + echo " It took $DIFF seconds" | tee -a $out echo -e " --> success\n" | tee -a $out marks=$(( marks + 1 )) else