langtools/make/Makefile
changeset 2982 090c71af18f6
parent 1650 980a667baa29
child 2988 094272984b53
--- a/langtools/make/Makefile	Tue May 19 15:07:15 2009 -0700
+++ b/langtools/make/Makefile	Wed May 20 13:36:23 2009 -0700
@@ -115,6 +115,14 @@
   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_OPTIONS += -Dboot.java.home=$(ALT_BOOTDIR)
   ANT_JAVA_HOME = JAVA_HOME=$(ALT_BOOTDIR)