marking3/knight1_test.sh
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