diff options
-rw-r--r-- | ChangeLog | 4 | ||||
-rwxr-xr-x | bootstrap | 3 |
2 files changed, 6 insertions, 1 deletions
@@ -1,5 +1,9 @@ 2007-08-23 Jim Meyering <jim@meyering.net> + bootstrap: generate more ignorable names + * bootstrap (slurp): When generating ignorable names, also map + .sin to .sed, .gperf to .c, and .y to .c. + * Makefile.maint (patch-check): Don't remove temporaries upon failure. 2007-08-22 Jim Meyering <jim@meyering.net> @@ -435,7 +435,8 @@ slurp() { # If an ignored file name ends with _.h, then also add # the name with just ".h". Many gnulib headers are generated, # e.g., stdint_.h -> stdint.h, dirent_.h ->..., etc. - f=`echo "$copied"|sed 's/_\.h$/.h/'` + # Likewise for .gperf -> .h, .y -> .c, and .sin -> .sed + f=`echo "$copied"|sed 's/_\.h$/.h/;s/\.sin$/.sed/;s/\.y$/.c/;s/\.gperf$/.h/'` insert_sorted_if_absent $ig "$f" fi done |