diff options
author | Michael Stahl <mstahl@redhat.com> | 2012-07-10 13:06:47 +0200 |
---|---|---|
committer | Michael Stahl <mstahl@redhat.com> | 2012-07-10 13:06:47 +0200 |
commit | 4fb8a68b0b70243b9c272764cd4762ad5ebf4054 (patch) | |
tree | 6ef3c4dd2ccf114d26f14cc78eb3c2f6d1fa9d42 /tomcat | |
parent | c06bba0999451c1fee02f10587f8139edaddf7d9 (diff) |
quote $ANT in makefiles so path with spaces works
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 ------------------------------------------------------ |