diff options
Diffstat (limited to 'tomcat')
| -rwxr-xr-x | tomcat/makefile.mk | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tomcat/makefile.mk b/tomcat/makefile.mk index a4d8236b267f..b440e8465feb 100755 --- a/tomcat/makefile.mk +++ b/tomcat/makefile.mk @@ -49,7 +49,12 @@ ADDITIONAL_FILES = jakarta-servletapi-5/build.xml PATCH_FILES=tomcat.patch BUILD_DIR=jakarta-servletapi-5 + +.IF "$(JAVACISGCJ)"=="yes" BUILD_ACTION=$(ANT) +.ELSE +BUILD_ACTION=$(ANT) -Dant.build.javac.source=$(JAVA_SOURCE_VER) -Dant.build.javac.target=$(JAVA_TARGET_VER) +.ENDIF # --- Targets ------------------------------------------------------ |