diff options
Diffstat (limited to 'tomcat/ExternalProject_tomcat.mk')
-rw-r--r-- | tomcat/ExternalProject_tomcat.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tomcat/ExternalProject_tomcat.mk b/tomcat/ExternalProject_tomcat.mk index 48c063f7c8f8..03316a932f7e 100644 --- a/tomcat/ExternalProject_tomcat.mk +++ b/tomcat/ExternalProject_tomcat.mk @@ -20,7 +20,7 @@ $(eval $(call gb_ExternalProject_register_targets,tomcat,\ $(call gb_ExternalProject_get_state_target,tomcat,build) : cd "$(call gb_UnpackedTarball_get_dir,tomcat)/jakarta-servletapi-5" && \ - "$(ANT)" \ + $(ICECREAM_RUN) "$(ANT)" \ -q \ -f build.xml \ -Dbuild.label="build-$(RSCREVISION)" \ |