diff --git a/resource/runner/scripts/problem_prebuild.sh b/resource/runner/scripts/problem_prebuild.sh index b79672e..7bf9d3e 100755 --- a/resource/runner/scripts/problem_prebuild.sh +++ b/resource/runner/scripts/problem_prebuild.sh @@ -17,7 +17,7 @@ fi if [ ! -f "$WORKSPACE/problem/$1/judge/prebuild.Makefile" ]; then log_warn "Problem $1 does not have prebuild scripts" - log_warn "$WORKSPACE/problem/$1/.mark.prebuild" + touch "$WORKSPACE/problem/$1/.mark.prebuild" exit 0 fi