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 02c3fb2..f459cf7 100644 --- a/containers/compiler/execute.sh +++ b/containers/compiler/execute.sh @@ -2,4 +2,4 @@ EXEC_DIR=/tmp/exec -timeout 30 sh -c "javac -Xlint:deprecation '$APPLICATION_NAME.java' -d '$EXEC_DIR' > /dev/null" +timeout 30 sh -c "javac -Xlint:deprecation -Xdiags:verbose '$APPLICATION_NAME.java' -d '$EXEC_DIR' > /dev/null" |