From b224dd96bd5f9a050945981b8de2b84cea768483 Mon Sep 17 00:00:00 2001
From: Sascha Schumann <sas@php.net>
Date: Thu, 24 Aug 2000 19:23:11 +0000
Subject: [PATCH] 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.

---
 makedist | 4 ++++
 1 file changed, 4 insertions(+)

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
-- 
2.40.0