diff options
| author | Petr Mladek <pmladek@suse.cz> | 2010-09-16 18:33:30 +0200 |
|---|---|---|
| committer | Fridrich Štrba <fridrich.strba@bluewin.ch> | 2010-09-16 18:33:30 +0200 |
| commit | 0f5f80f081126258df7fbec04885dbe984d2f3a4 (patch) | |
| tree | 57a574acdff361c53cc3b107d46a20afe0377055 /tomcat | |
| parent | 07a3e44e1de6a9d0383244c7bf3b36a886e5ca01 (diff) | |
build-java-target-extensions.diff: Allow specifying java target version.
i#93115
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 a4d8236..b440e84 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 ------------------------------------------------------ |