diff options
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" |