diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2006-01-20 00:45:53 +0000 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2006-01-20 00:45:53 +0000 |
commit | b4068c7cf3e2cd2d5977b66acde60727b71d1d0c (patch) | |
tree | eb57e3f3371fbf2be698d16045829c1dcc200f91 /bootstrap | |
parent | c66dfaddf449920bea03c0aa3b55467e2f21c98e (diff) | |
download | bison-b4068c7cf3e2cd2d5977b66acde60727b71d1d0c.tar.gz |
Undo changes to gnulib files that autoreconf made.
Diffstat (limited to 'bootstrap')
-rwxr-xr-x | bootstrap | 11 |
1 files changed, 10 insertions, 1 deletions
@@ -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 |