diff options
Diffstat (limited to 'containers/compiler/execute.sh')
| -rw-r--r-- | containers/compiler/execute.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/containers/compiler/execute.sh b/containers/compiler/execute.sh new file mode 100644 index 0000000..6831a8b --- /dev/null +++ b/containers/compiler/execute.sh @@ -0,0 +1,5 @@ +#!/bin/sh + +EXEC_DIR=/tmp/exec + +timeout 60 sh -c "javac -Xlint:deprecation '$APPLICATION_NAME.java' -d '$EXEC_DIR' > /dev/null" |