make/common/ZipArchive.gmk
changeset 42136 f872c8278074
parent 41658 14de1ab85d25
child 47253 92fd0e04e0e1
--- a/make/common/ZipArchive.gmk	Tue Nov 22 13:44:41 2016 +0100
+++ b/make/common/ZipArchive.gmk	Tue Nov 22 14:47:52 2016 +0100
@@ -107,7 +107,7 @@
   $$($1_ZIP) : $$($1_ALL_SRCS) $$($1_EXTRA_DEPS)
 	$(MKDIR) -p $$(@D)
 	$(ECHO) Updating $$($1_NAME)
-	$$(foreach i,$$($1_SRC),(cd $$i && $(ZIP) -qru $$($1_ZIP_OPTIONS) $$@ . $$($1_ZIP_INCLUDES) \
+	$$(foreach i,$$($1_SRC),(cd $$i && $(ZIPEXE) -qru $$($1_ZIP_OPTIONS) $$@ . $$($1_ZIP_INCLUDES) \
 	    $$($1_ZIP_EXCLUDES) -x \*_the.\* \
 	    $$(addprefix -x$(SPACE), $$(patsubst $$i/%,%, $$($1_EXCLUDE_FILES))) \
 	    || test "$$$$?" = "12" )$$(NEWLINE)) true