jaxws/make/Makefile
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