configure: Be more careful about replacing generated files

configure is carefull to not change "generated" files if the only change
is the date.  This makes it a bit more generous about date lines.

diff --git a/configure b/configure
index 5ec43d279cda53730df7904ba49f8870a68e9d5e..d83805a980ee721480a74d61c6a64e9b4e17f32c 100755 (executable)
--- a/configure
+++ b/configure
@@ -4812,8 +4812,8 @@ SedConfigFiles()
            unset POSIXLY_CORRECT
            $RM $F.new; $SED -f confsed1 $SRCDIR/$F.in | $SED -f confsed2 > $F.new
            POSIXLY_CORRECT=1 ; export POSIXLY_CORRECT
-           $RM confx; $SED '/DATE:/d' $F.new >confx
-           $RM confy; $SED '/DATE:/d' $F >confy 2>/dev/null
+           $RM confx; $SED '/D[aA][tT][eE]:/d' $F.new >confx
+           $RM confy; $SED '/D[aA][tT][eE]:/d' $F >confy 2>/dev/null
            if cmp -s confx confy >/dev/null 2>&1; then
                $RM $F.new
            else