From 3a816ba679da47108dc1d7f15c490b5abfdc8b1f Mon Sep 17 00:00:00 2001
From: sof <unknown>
Date: Thu, 28 Mar 2002 15:11:48 +0000
Subject: [PATCH] [project @ 2002-03-28 15:11:48 by sof] running binary-dist
 without having BIN_DIST set is now a no-no, I believe.

---
 Makefile |    3 +++
 1 file changed, 3 insertions(+)

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 		 	 \
-- 
1.7.10.4