From: sof <unknown>
Date: Thu, 28 Mar 2002 15:11:48 +0000 (+0000)
Subject: [project @ 2002-03-28 15:11:48 by sof]
X-Git-Tag: Approx_11550_changesets_converted~2208
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=3a816ba679da47108dc1d7f15c490b5abfdc8b1f;p=ghc-hetmet.git

[project @ 2002-03-28 15:11:48 by sof]
running binary-dist without having BIN_DIST set is now a no-no, I believe.
---

diff --git a/Makefile b/Makefile
index f0714de..7b7f50e 100644
--- a/Makefile
+++ b/Makefile
@@ -97,6 +97,9 @@ BIN_DIST_NAME=$(ProjectNameShort)-$(ProjectVersion)
 BIN_DIST_TMPDIR=$(FPTOOLS_TOP_ABS)
 
 binary-dist-pre::
+ifeq "$(BIN_DIST)" ""
+	echo "WARNING: To run the binary-dist target, you need to set BIN_DIST=1 in your build.mk" && exit 1
+endif
 	-rm -rf $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)
 	-rm -f $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME).tar.gz
 	@for i in $(BIN_DIST_DIRS); do 		 	 \