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

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

diff --git a/ChangeLog b/ChangeLog
index 65cc914db3dc02855812b49fa7703a2beb6d2a9c..a91b29e33156825d3ac172bfbe6dffecb6bc6389 100644 (file)
--- 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 c3ddd2676c11509dbd0633ffbe2768095738ecc6..73e0af873c303c5fbbce9a5f60d834f08530b92b 100755 (executable)
--- 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"