Skip to content

Commit

Permalink
Disable core dumps while building executables.
Browse files Browse the repository at this point in the history
Also spell out `--no-core` in all other invocations to make it more
clear.
  • Loading branch information
meisterT committed Feb 22, 2024
1 parent 759f9e2 commit d4d46af
Show file tree
Hide file tree
Showing 4 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion judge/build_executable.sh
Original file line number Diff line number Diff line change
Expand Up @@ -76,7 +76,7 @@ logmsg $LOG_INFO "starting build"

exitcode=0
$GAINROOT "$RUNGUARD" ${DEBUG:+-v} -u "$RUNUSER" -g "$RUNGROUP" \
-r "$CHROOTDIR" -d '/build' -- \
-r "$CHROOTDIR" -d '/build' --no-core -- \
'./build' > 'build.log' 2>&1 || \
exitcode=$?

Expand Down
2 changes: 1 addition & 1 deletion judge/compile.sh
Original file line number Diff line number Diff line change
Expand Up @@ -150,7 +150,7 @@ fi
exitcode=0
$GAINROOT "$RUNGUARD" ${DEBUG:+-v} $CPUSET_OPT -u "$RUNUSER" -g "$RUNGROUP" \
-r "$PWD/.." -d "/compile" \
-m $SCRIPTMEMLIMIT -t $SCRIPTTIMELIMIT -c -f $SCRIPTFILELIMIT -s $SCRIPTFILELIMIT \
-m $SCRIPTMEMLIMIT -t $SCRIPTTIMELIMIT --no-core -f $SCRIPTFILELIMIT -s $SCRIPTFILELIMIT \
-M "$WORKDIR/compile.meta" $ENVIRONMENT_VARS -- \
"/compile-script/$(basename "$COMPILE_SCRIPT")" program "$MEMLIMIT" "$@" >"$WORKDIR/compile.tmp" 2>&1 || \
exitcode=$?
Expand Down
2 changes: 1 addition & 1 deletion judge/testcase_run.sh
Original file line number Diff line number Diff line change
Expand Up @@ -229,7 +229,7 @@ if [ $COMBINED_RUN_COMPARE -eq 0 ]; then
chmod a+w feedback

runcheck $GAINROOT "$RUNGUARD" ${DEBUG:+-v} $CPUSET_OPT -u "$RUNUSER" -g "$RUNGROUP" \
-m $SCRIPTMEMLIMIT -t $SCRIPTTIMELIMIT -c \
-m $SCRIPTMEMLIMIT -t $SCRIPTTIMELIMIT --no-core \
-f $SCRIPTFILELIMIT -s $SCRIPTFILELIMIT -M compare.meta -- \
"$COMPARE_SCRIPT" testdata.in testdata.out feedback/ $COMPARE_ARGS < program.out \
>compare.tmp 2>&1
Expand Down
2 changes: 1 addition & 1 deletion judge/version_check.sh
Original file line number Diff line number Diff line change
Expand Up @@ -80,7 +80,7 @@ fi
exitcode=0
$GAINROOT "$RUNGUARD" ${DEBUG:+-v} $CPUSET_OPT -u "$RUNUSER" -g "$RUNGROUP" \
-r "$PWD/.." -d "/version_check" \
-m $SCRIPTMEMLIMIT -t $SCRIPTTIMELIMIT -c -f $SCRIPTFILELIMIT -s $SCRIPTFILELIMIT \
-m $SCRIPTMEMLIMIT -t $SCRIPTTIMELIMIT --no-core -f $SCRIPTFILELIMIT -s $SCRIPTFILELIMIT \
-M "$WORKDIR/version_check.meta" $ENVIRONMENT_VARS -- \
"/version_check-script/$(basename $VERSION_CHECK_SCRIPT)" >"$WORKDIR/version_check.tmp" 2>&1 || \
exitcode=$?
Expand Down

0 comments on commit d4d46af

Please sign in to comment.