diff -r 4ce1c1400334 -r 79eb8795a1de make/Makefile --- a/make/Makefile Tue May 19 15:07:15 2009 -0700 +++ b/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)