From: Paolo Bonzini <bonzini@gnu.org>
Date: Wed, 17 Jan 2007 18:28:30 +0000 (+0000)
Subject: 2007-01-17  Paolo Bonzini  <bonzini@gnu.org>
X-Git-Tag: v2.3b~175
X-Git-Url: https://git.saurik.com/bison.git/commitdiff_plain/830c9b1847f35d01a748203423b893378a7bca85?ds=inline

2007-01-17  Paolo Bonzini  <bonzini@gnu.org>

	* bootstrap: Remove occurrences of .#bootmp from the files.
---

diff --git a/ChangeLog b/ChangeLog
index 65cc914d..a91b29e3 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2007-01-17  Paolo Bonzini  <bonzini@gnu.org>
+
+	* bootstrap: Remove occurrences of .#bootmp from the files.
+
 2007-01-17  Akim Demaille  <akim@epita.fr>
 
 	* doc/bison.texinfo (Calc++ Parser): Don't try to alias
diff --git a/bootstrap b/bootstrap
index c3ddd267..73e0af87 100755
--- a/bootstrap
+++ b/bootstrap
@@ -315,7 +315,7 @@ cp_mark_as_generated()
     if test -z "$c1"; then
       cmp -s "$cp_src" "$cp_dst" || {
 	echo "$0: cp -f $cp_src $cp_dst" &&
-	cp -f "$cp_src" "$cp_dst"
+	sed 's/\.#bootmp\///g' "$cp_src" > "$cp_dst"
       }
     else
       # Copy the file first to get proper permissions if it
@@ -324,7 +324,7 @@ cp_mark_as_generated()
       (
 	echo "$c1-*- buffer-read-only: t -*- vi: set ro:$c2" &&
 	echo "${c1}DO NOT EDIT! GENERATED AUTOMATICALLY!$c2" &&
-	cat "$cp_src"
+	sed 's/\.#bootmp\///g' "$cp_src"
       ) > $cp_dst-t &&
       if cmp -s "$cp_dst-t" "$cp_dst"; then
 	rm -f "$cp_dst-t"