jaxp/make/Makefile
changeset 2967 faa3111c009c
parent 2832 2066c062ffbd
parent 2966 b6cb15e139ac
child 3879 0d9209bdf36c
--- a/jaxp/make/Makefile	Wed Jul 05 16:54:26 2017 +0200
+++ b/jaxp/make/Makefile	Thu Jun 11 21:26:25 2009 -0700
@@ -81,7 +81,15 @@
   ifdef JAVAC_TARGET_ARG
     ANT_OPTIONS += -Djavac.target=$(JAVAC_TARGET_ARG)
   endif
-endif
+endif 
+
+ifdef SOURCE_LANGUAGE_VERSION
+  ANT_OPTIONS += -Djavac.source=$(SOURCE_LANGUAGE_VERSION)
+else
+  ifdef JAVAC_SOURCE_ARG 
+    ANT_OPTIONS += -Djavac.source=$(JAVAC_SOURCE_ARG)
+  endif
+endif 
 
 ifdef ALT_BOOTDIR
   ANT_JAVA_HOME = JAVA_HOME=$(ALT_BOOTDIR)