diff --git a/build.xml b/build.xml index 56e75ad4..1456e5c5 100644 --- a/build.xml +++ b/build.xml @@ -214,7 +214,9 @@ encoding="utf-8" debug="yes" includeAntRuntime="no" - source="9"> + source="${jvm.version}" + verbose="true" + >