diff options
| author | Sven Gothel <[email protected]> | 2023-01-15 03:08:49 +0100 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2023-01-15 03:08:49 +0100 |
| commit | 853361a9fecdf1def9e7c25c8917207ca3e70a3b (patch) | |
| tree | 8ea30617fb8a37fdacab52c2b7a2c484b65cd349 | |
| parent | 1396c3ca6fc675dcf4bdea708c8a8c89d481e3b8 (diff) | |
build.xml: Always set source w/ target version, avoid build WARNING
| -rw-r--r-- | make/build.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/make/build.xml b/make/build.xml index 396cc75..dc14668 100644 --- a/make/build.xml +++ b/make/build.xml @@ -810,6 +810,7 @@ excludes="${gluegen.excludes.all} ${gluegen-rt.classes} ${java.part.android}" memoryMaximumSize="${javac.memorymax}" encoding="UTF-8" + source="${target.sourcelevel}" target="${target.targetlevel}" debug="${javacdebug}" debuglevel="${javacdebuglevel}"> <src path="${src.jcpp}" /> |