diff options
author | Jonas Kohl | 2024-11-08 10:33:16 +0100 |
---|---|---|
committer | Jonas Kohl | 2024-11-08 10:33:16 +0100 |
commit | c2a4bd09d7f046f1b2d7e3978d5ee60caded0fc1 (patch) | |
tree | 1aa9f9beb87512f64db204e820e0e80b7e32ad12 /containers | |
parent | 5e82199ed199ee0d520f125f8f1b092399b890c3 (diff) |
Reduce maximum execution time
Diffstat (limited to 'containers')
-rw-r--r-- | containers/compiler/execute.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/containers/compiler/execute.sh b/containers/compiler/execute.sh index 6831a8b..02c3fb2 100644 --- a/containers/compiler/execute.sh +++ b/containers/compiler/execute.sh @@ -2,4 +2,4 @@ EXEC_DIR=/tmp/exec -timeout 60 sh -c "javac -Xlint:deprecation '$APPLICATION_NAME.java' -d '$EXEC_DIR' > /dev/null" +timeout 30 sh -c "javac -Xlint:deprecation '$APPLICATION_NAME.java' -d '$EXEC_DIR' > /dev/null" |