Fix Jdiff generation with Java8

8 years ago · 276cfd8993
parent e8a082fbe1
commit 276cfd8993
1 changed files with 1 additions and 0 deletions
--- a/gradle/jdiff.gradle
+++ b/gradle/jdiff.gradle
@ -43,6 +43,7 @@ task jdiff {
 		ant.mkdir(dir: outputDir)
 		ant.jdiff(
 				destdir: outputDir,
+				source: "1.8",
 				verbose: "off",
 				stats: "on",
 				docchanges: "off") {