diff --git a/checker/checker.sh b/checker/checker.sh index 0dc92c50d04f8964eff532d5f623addb8275f4c9..ebb57e65969a53167efae1fabce57326809981b4 100755 --- a/checker/checker.sh +++ b/checker/checker.sh @@ -3,7 +3,7 @@ cd "$(dirname "$0")" || exit 1 # Mark for Moodle trace cleanup -[ -n "$CI" ] && echo "VMCHECKER_TRACE_CLEANUP\n" +[ -n "$CI" ] && echo "VMCHECKER_TRACE_CLEANUP" EXECUTABLE="../src/perfect" TIMEOUT_DURATION=10