changeset 2972 | 3130ead31447 |
parent 2842 | 1a14159efe64 |
parent 2971 | 170fb87a3dd1 |
child 3297 | d4ab6018e6f6 |
--- a/jaxws/make/Makefile Wed Jul 05 16:54:26 2017 +0200 +++ b/jaxws/make/Makefile Thu Jun 11 21:30:49 2009 -0700 @@ -83,6 +83,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_JAVA_HOME = JAVA_HOME=$(ALT_BOOTDIR) endif