diff options
Diffstat (limited to 'tomcat')
-rw-r--r-- | tomcat/makefile.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tomcat/makefile.mk b/tomcat/makefile.mk index 9bdae76a41ab..27ac90277547 100644 --- a/tomcat/makefile.mk +++ b/tomcat/makefile.mk @@ -50,9 +50,9 @@ PATCH_FILES=tomcat.patch BUILD_DIR=jakarta-servletapi-5 .IF "$(JAVACISGCJ)"=="yes" -BUILD_ACTION=$(ANT) +BUILD_ACTION="$(ANT)" .ELSE -BUILD_ACTION=$(ANT) -Dant.build.javac.source=$(JAVA_SOURCE_VER) -Dant.build.javac.target=$(JAVA_TARGET_VER) +BUILD_ACTION="$(ANT)" -Dant.build.javac.source=$(JAVA_SOURCE_VER) -Dant.build.javac.target=$(JAVA_TARGET_VER) .ENDIF # --- Targets ------------------------------------------------------ |