From 06a4381c90e522b4ca84f7883396641b45353f42 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Thu, 12 Apr 2007 13:13:27 +0000 Subject: [PATCH] MERGE: add prep-bin-dist-mingw to binary-dist target, and add a separate target for publish-binary-dist --- Makefile | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 7d0d66d..fbbf544 100644 --- a/Makefile +++ b/Makefile @@ -366,7 +366,7 @@ binary-dist:: endif # Jiggle the files around to make a valid Windows distribution if necessary -ifneq "$(TARGETPLATFORM)" "i386-unknown-mingw32" +ifeq "$(TARGETPLATFORM)" "i386-unknown-mingw32" binary-dist :: fiddle-binary-dist endif @@ -406,6 +406,10 @@ tar-binary-dist: # Upload the distribution and documentation ifneq "$(PublishLocation)" "" binary-dist :: + $(MAKE) publish-binary-dist +endif + +publish-binary-dist : @for i in 0 1 2 3 4 5 6 7 8 9; do \ echo "Try $$i: $(PublishCp) $(BIN_DIST_TARBALL) $(PublishLocation)"; \ if $(PublishCp) $(BIN_DIST_TARBALL) $(PublishLocation); then break; fi\ -- 1.7.10.4