diff options
author | Jonas Kohl | 2024-11-08 13:03:10 +0100 |
---|---|---|
committer | Jonas Kohl | 2024-11-08 13:03:10 +0100 |
commit | 13a10e12b4a000c201b8f6b05d2ddd74fc50d10d (patch) | |
tree | 5123c560a17c76c75ed8a0cd58409562e777a3ff | |
parent | 81bfeab4e0effa0407f0e87cff86009eab69e78f (diff) |
Compile verbose
-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" |