Don't distribute buildmk.stamp to the end user. Otherwise, buildcheck.sh

won't be run on the user's system, when they try to use buildconf.

diff --git a/makedist b/makedist
index f808890a3b6e3454aaad7f18e1ed82c334c84a37..ed8284e95d4e8f1e11e6ae2845a9063827c00e92 100755 (executable)
--- a/makedist
+++ b/makedist
@@ -124,6 +124,10 @@ done
 set -x
 ./buildconf --copy
 
+# remove buildmk.stamp. Otherwise, buildcheck.sh might not be run,
+# when a user runs buildconf in the distribution.
+rm -f buildmk.stamp
+
 ./genfiles
 
 echo "/* Dummy File */" > ext/bcmath/number.c