From e4fc2c01d066525d6f18af032aee792b0b1ede75 Mon Sep 17 00:00:00 2001
From: Paul Pan <i@0x7f.app>
Date: Sun, 31 Dec 2023 16:07:41 +0800
Subject: [PATCH] fix: problem_prebuild.sh: allow to have no prebuild.Makefile
 script

---
 resource/runner/scripts/problem_prebuild.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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