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.

1 files changed, 4 insertions, 0 deletions

diff --git a/makedist b/makedist
index f808890a3b..ed8284e95d 100755
--- 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