diff --git a/checker/checker.sh b/checker/checker.sh index a8ff6a244c054091455f5b56a2605158a9349be4..319513b0c551e78726c4d0d73236de68a66483de 100755 --- a/checker/checker.sh +++ b/checker/checker.sh @@ -5,13 +5,8 @@ rm -fr ../tests/ cp -r "$CHECKER_DATA_DIRECTORY"/../tests .. -# Everything happens in the tests/ directory. +# Checking and grading happens in the tests/ directory. pushd ../tests > /dev/null || exit 1 - -echo -e "\n\n### RUNING CHECKER\n\n" -make check - -echo -e "\n\n### RUNING LINTER\n\n" -make lint - +# Placeholder causes the printing of final results before the checker / linter details. +./grade.sh placeholder popd > /dev/null || exit 1