From ce80ea9e8350d27a7b8035ae83663647049f38e8 Mon Sep 17 00:00:00 2001
From: Dragos Iulian ARGINT <dragos.argint@stud.acs.upb.ro>
Date: Sun, 9 Apr 2023 14:18:45 +0300
Subject: [PATCH] Change exit code to make vmck-next process the output

Signed-off-by: Dragos Iulian ARGINT <dragos.argint@stud.acs.upb.ro>
---
 checker/checker.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/checker/checker.sh b/checker/checker.sh
index 4d83025..3e1d1a6 100755
--- a/checker/checker.sh
+++ b/checker/checker.sh
@@ -116,7 +116,8 @@ run_checker()
 
 		if [ ! -f $module_path ]; then
 			error_message $assignment_mod
-			exit 1
+			# exit successfully for vmchecker-next to process output
+			exit 0 # TODO: changeme 
 		fi
 	
 		# copy *.ko in checker
-- 
GitLab