7 years ago · bb4ae3d3c3
parent 8bf4c2f4ac
commit bb4ae3d3c3
1 changed files with 1 additions and 0 deletions
--- a/check_makefile.sh
+++ b/check_makefile.sh
@ -56,3 +56,4 @@ let time_taken=$end_time-$start_time || :
 echo "Completed in $time_taken secs"
 echo
 section2 "Makefile validation SUCCEEDED"
+echo