langtools/make/Makefile
changeset 2988 094272984b53
parent 2850 307d7719ccb7
parent 2982 090c71af18f6
child 4415 7d4f73717fba
--- a/langtools/make/Makefile	Wed Jul 05 16:54:26 2017 +0200
+++ b/langtools/make/Makefile	Thu Jun 11 21:35:12 2009 -0700
@@ -120,6 +120,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)