diff -r 522520757dd3 -r 163f5d75f77a make/Makefile --- a/make/Makefile Thu Jun 11 10:54:31 2009 -0700 +++ b/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)