diff options
Diffstat (limited to 'modern-java.patch')
-rw-r--r-- | modern-java.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/modern-java.patch b/modern-java.patch new file mode 100644 index 000000000000..5ae55ca6367f --- /dev/null +++ b/modern-java.patch @@ -0,0 +1,12 @@ +diff -r -U 0 a/libraries/javacheck/CMakeLists.txt b/libraries/javacheck/CMakeLists.txt +--- a/libraries/javacheck/CMakeLists.txt 2019-08-05 00:46:59.000000000 +0200 ++++ b/libraries/javacheck/CMakeLists.txt 2019-09-27 21:47:16.033545671 +0200 +@@ -7 +7 @@ +-set(CMAKE_JAVA_COMPILE_FLAGS -target 1.6 -source 1.6 -Xlint:deprecation -Xlint:unchecked) ++set(CMAKE_JAVA_COMPILE_FLAGS -target 8 -source 8 -Xlint:deprecation -Xlint:unchecked) +diff -r -U 0 a/libraries/launcher/CMakeLists.txt b/libraries/launcher/CMakeLists.txt +--- a/libraries/launcher/CMakeLists.txt 2019-08-05 00:46:59.000000000 +0200 ++++ b/libraries/launcher/CMakeLists.txt 2019-09-27 21:47:36.803357383 +0200 +@@ -7 +7 @@ +-set(CMAKE_JAVA_COMPILE_FLAGS -target 1.6 -source 1.6 -Xlint:deprecation -Xlint:unchecked) ++set(CMAKE_JAVA_COMPILE_FLAGS -target 8 -source 8 -Xlint:deprecation -Xlint:unchecked) |