.#bootmp in lib/Makefile

[Joel E. Denny]

I committed this.

Index: ChangeLog
===================================================================
RCS file: /sources/bison/bison/ChangeLog,v
retrieving revision 1.1685
diff -p -u -r1.1685 ChangeLog
--- ChangeLog   14 Feb 2007 01:19:42 -0000      1.1685
+++ ChangeLog   19 Feb 2007 06:01:11 -0000
@@ -1,3 +1,7 @@
+2007-02-19  Joel E. Denny  <address@hidden>
+
+       * bootstrap: Remove occurrences of .#bootmp from lib/Makefile.
+
 2007-02-13  Juan Manuel Guerrero  <address@hidden>
 
        * djgpp/config.bat: Adjustments concerning the use of autoconf 2.61.
Index: bootstrap
===================================================================
RCS file: /sources/bison/bison/bootstrap,v
retrieving revision 1.51
diff -p -u -r1.51 bootstrap
--- bootstrap   18 Jan 2007 02:18:17 -0000      1.51
+++ bootstrap   19 Feb 2007 06:01:11 -0000
@@ -362,7 +362,10 @@ slurp() {
       done
       if test $file = Makefile.am; then
         copied=$copied${sep}gnulib.mk; sep=$nl
-       remove_intl='/^[^#].*\/intl/s/^/#/'
+       remove_intl='
+          /^[^#].*\/intl/s/^/#/
+          s,\.#bootmp/,,g
+        '
         sed "$remove_intl" $1/$dir/$file | cmp -s - $dir/gnulib.mk || {
          echo "$0: Copying $1/$dir/$file to $dir/gnulib.mk ..." &&
          rm -f $dir/gnulib.mk &&