diff options
author | Emmanuel Bourg <ebourg@apache.org> | 2019-02-26 20:02:13 +0100 |
---|---|---|
committer | Andrej Shadura <andrewsh@debian.org> | 2019-02-26 20:02:13 +0100 |
commit | 921acc8575d4da73f6070001c9e436aba2cfcc99 (patch) | |
tree | 87d21c233bb25385a93a4d0966ea4681fb8a854b | |
parent | a13f1cc899521c4b3fc0fb8e35175279fa2fd6cc (diff) |
Set the language level to 1.8 to fix the build failure with Ant 1.10
Forwarded: not-needed
Gbp-Pq: Name source-level.patch
-rwxr-xr-x | subprojects/core/core.gradle | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subprojects/core/core.gradle b/subprojects/core/core.gradle index 3400f6dd3..896bd15fd 100755 --- a/subprojects/core/core.gradle +++ b/subprojects/core/core.gradle @@ -15,7 +15,7 @@ */ apply plugin: 'java-library' -sourceCompatibility = javaVersion.java9Compatible ? 1.6 : 1.5 +sourceCompatibility = 1.8 configurations { reports |