diff --git a/checker/checker.sh b/checker/checker.sh index 4d83025beb6498a8d366284b8c6f42e3aab1acbc..3e1d1a630cbeddab6f15eedbd5010c17a2ede37e 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