From: NeilBrown <neilb@suse.de>
Date: Fri, 12 Jul 2013 21:25:00 +0000 (+1000)
Subject: Makefile: if bootstrap was required, suggest "make" be run again
X-Git-Tag: draftparser~10
X-Git-Url: https://ocean-lang.org/code/?p=ocean;a=commitdiff_plain;h=af6ac4cc5dc5f2b26d2fc29c8c7d75b827104b43

Makefile: if bootstrap was required, suggest "make" be run again

Signed-off-by: NeilBrown <neilb@suse.de>
---

diff --git a/csrc/Makefile b/csrc/Makefile
index 86e4c02..fa5331a 100644
--- a/csrc/Makefile
+++ b/csrc/Makefile
@@ -12,6 +12,8 @@ bootstrap:
 	$(MAKE) -C boot-strap -f mdcode.mk VPATH=..
 	cp boot-strap/md2c .
 	./md2c mdcode.mdc
+	@echo =========================
+	@echo 'Please run "make" again'
 
 md2c = $(wildcard md2c)
 ifeq "$(md2c)" "md2c"