common/autoconf/generated-configure.sh
changeset 24304 f51622799778
parent 24081 f98557ef4bf8
child 24417 5fbaa66c6398
--- a/common/autoconf/generated-configure.sh	Wed Jul 05 19:40:19 2017 +0200
+++ b/common/autoconf/generated-configure.sh	Tue May 13 10:20:06 2014 +0100
@@ -4243,7 +4243,7 @@
 #CUSTOM_AUTOCONF_INCLUDE
 
 # Do not change or remove the following line, it is needed for consistency checks:
-DATE_WHEN_GENERATED=1398861894
+DATE_WHEN_GENERATED=1399969244
 
 ###############################################################################
 #
@@ -26004,8 +26004,8 @@
 
   # Finally, set some other options...
 
-  # When compiling code to be executed by the Boot JDK, force jdk7 compatibility.
-  BOOT_JDK_SOURCETARGET="-source 7 -target 7"
+  # When compiling code to be executed by the Boot JDK, force jdk8 compatibility.
+  BOOT_JDK_SOURCETARGET="-source 8 -target 8"