From 0f1c7dcc79b90dcda85003a6de51cdda2812413e Mon Sep 17 00:00:00 2001
From: Razvan Deaconescu <razvan.deaconescu@upb.ro>
Date: Mon, 20 Nov 2023 09:33:02 +0200
Subject: [PATCH] checker: Update checker to use grade.sh

Update checker to use `grade.sh` script to print out results.

Signed-off-by: Razvan Deaconescu <razvan.deaconescu@upb.ro>
---
 checker/checker.sh | 11 +++--------
 1 file changed, 3 insertions(+), 8 deletions(-)

diff --git a/checker/checker.sh b/checker/checker.sh
index a8ff6a2..319513b 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
-- 
GitLab