changeset 2967 | faa3111c009c |
parent 2832 | 2066c062ffbd |
parent 2966 | b6cb15e139ac |
child 3879 | 0d9209bdf36c |
--- a/jaxp/make/Makefile Wed Jul 05 16:54:26 2017 +0200 +++ b/jaxp/make/Makefile Thu Jun 11 21:26:25 2009 -0700 @@ -81,7 +81,15 @@ ifdef JAVAC_TARGET_ARG ANT_OPTIONS += -Djavac.target=$(JAVAC_TARGET_ARG) endif -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_JAVA_HOME = JAVA_HOME=$(ALT_BOOTDIR)