]> ocean-lang.org Git - ocean/commitdiff
Makefile: if bootstrap was required, suggest "make" be run again
authorNeilBrown <neilb@suse.de>
Fri, 12 Jul 2013 21:25:00 +0000 (07:25 +1000)
committerNeilBrown <neilb@suse.de>
Fri, 12 Jul 2013 21:30:03 +0000 (07:30 +1000)
Signed-off-by: NeilBrown <neilb@suse.de>
csrc/Makefile

index 86e4c023f9c118ba63ac4a471dccc340e9f7b365..fa5331af0fc65230f205bf0bbf603473d8817796 100644 (file)
@@ -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"