diff --git a/check_makefile.sh b/check_makefile.sh index 9bb590fe..4496d4e9 100755 --- 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