summaryrefslogtreecommitdiff
path: root/bootstrap
diff options
context:
space:
mode:
authorPaul Eggert <eggert@cs.ucla.edu>2006-01-20 00:45:53 +0000
committerPaul Eggert <eggert@cs.ucla.edu>2006-01-20 00:45:53 +0000
commitb4068c7cf3e2cd2d5977b66acde60727b71d1d0c (patch)
treeeb57e3f3371fbf2be698d16045829c1dcc200f91 /bootstrap
parentc66dfaddf449920bea03c0aa3b55467e2f21c98e (diff)
downloadbison-b4068c7cf3e2cd2d5977b66acde60727b71d1d0c.tar.gz
Undo changes to gnulib files that autoreconf made.
Diffstat (limited to 'bootstrap')
-rwxr-xr-xbootstrap11
1 files changed, 10 insertions, 1 deletions
diff --git a/bootstrap b/bootstrap
index 7d094737..7c7bd330 100755
--- a/bootstrap
+++ b/bootstrap
@@ -2,7 +2,7 @@
# Bootstrap this package from CVS.
-# Copyright (C) 2003, 2004, 2005 Free Software Foundation, Inc.
+# Copyright (C) 2003, 2004, 2005, 2006 Free Software Foundation, Inc.
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
@@ -281,6 +281,15 @@ intl_files_to_remove='
echo $0: rm -fr $intl_files_to_remove ...
rm -fr $intl_files_to_remove || exit
+# Undo changes to gnulib files that autoreconf made.
+for gnulib_file in $gnulib_files; do
+ test ! -f $gnulib_file || cmp -s $gnulib_file $GNULIB_SRCDIR/$gnulib_file || {
+ rm -f $gnulib_file &&
+ echo "$0: Copying file $GNULIB_SRCDIR/$gnulib_file again" &&
+ cp -p $GNULIB_SRCDIR/$gnulib_file $gnulib_file || exit
+ }
+done
+
# Put bug-reporting address into po/Makevars.
echo "$0: sed '/^MSGID_BUGS_ADDRESS *=/s/=.*/= bug-bison@gnu.org/' po/Makevars.template >po/Makevars ..."
sed '/^MSGID_BUGS_ADDRESS *=/s/=.*/= bug-bison@gnu.org/' po/Makevars.template >po/Makevars