| changeset 331 | 3a9acfc6106b |
| parent 326 | 7d983ee99fcc |
| child 384 | 627a944c744b |
--- 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