[enhance] Makefile.bld: improved the message when configure file has …

…changed
MLstate · Nov 5, 2012 · 2dd60aa · 2dd60aa
1 parent a31b584
commit 2dd60aa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/build/Makefile.bld b/tools/build/Makefile.bld
@@ -73,7 +73,7 @@ MYOCAMLBUILD_SOURCES = \
 	$(BUILD_VARS) $(BUILD_RULES) $(BUILD_LIBS) $(BUILD_TOOLS)
 
 $(BLDDIR)/config.ml: configure
-	@echo "Please (re)launch ./configure"
+	@echo "configure file has changed. Please (re)run ./configure"
 	@exit 1
 
 $(MYOCAMLBUILD): $(MYOCAMLBUILD_SOURCES)