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

[bison.git] / bootstrap

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"