langtools/make/Makefile
changeset 2988 094272984b53
parent 2850 307d7719ccb7
parent 2982 090c71af18f6
child 4415 7d4f73717fba
equal deleted inserted replaced
2902:dbb955b1ee59 2988:094272984b53
   118   ifdef JAVAC_TARGET_ARG 
   118   ifdef JAVAC_TARGET_ARG 
   119     ANT_OPTIONS += -Djavac.target=$(JAVAC_TARGET_ARG)
   119     ANT_OPTIONS += -Djavac.target=$(JAVAC_TARGET_ARG)
   120   endif
   120   endif
   121 endif 
   121 endif 
   122 
   122 
       
   123 ifdef SOURCE_LANGUAGE_VERSION
       
   124   ANT_OPTIONS += -Djavac.source=$(SOURCE_LANGUAGE_VERSION)
       
   125 else
       
   126   ifdef JAVAC_SOURCE_ARG 
       
   127     ANT_OPTIONS += -Djavac.source=$(JAVAC_SOURCE_ARG)
       
   128   endif
       
   129 endif 
       
   130 
   123 ifdef ALT_BOOTDIR
   131 ifdef ALT_BOOTDIR
   124   ANT_OPTIONS += -Dboot.java.home=$(ALT_BOOTDIR)
   132   ANT_OPTIONS += -Dboot.java.home=$(ALT_BOOTDIR)
   125   ANT_JAVA_HOME = JAVA_HOME=$(ALT_BOOTDIR)
   133   ANT_JAVA_HOME = JAVA_HOME=$(ALT_BOOTDIR)
   126 endif
   134 endif
   127 
   135