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)