woj/woj-server
1
0
Fork 0
Code Issues 2 Pull Requests Packages Projects Releases Wiki Activity

fix: problem_prebuild.sh: allow to have no prebuild.Makefile script

Browse Source
This commit is contained in:
Paul Pan 2023-12-31 16:07:41 +08:00
parent e2881514d4
commit e4fc2c01d0
Signed by: Paul
GPG Key ID: D639BDF5BA578AF4
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
resource/runner/scripts/problem_prebuild.sh
View File

@ -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