diff gnulib-tool @ 7754:ed8105720327

* modules/absolute-header: New module. * modules/fcntl (Depends-on): Depend on it. * modules/inttypes (Depends-on): Likewise. * modules/stdint (Depends-on): Likewise. * modules/sys_stat (Depends-on): Likewise. * modules/wctype (Depends-on): Likewise. * MODULES.html.sh (Support for building libraries and executables): Document it.
author Eric Blake <ebb9@byu.net>
date Tue, 26 Dec 2006 18:42:09 +0000
parents fc2ff707c74b
children 0339d0fb77b2
line wrap: on
line diff
--- a/gnulib-tool	Tue Dec 26 14:55:51 2006 +0000
+++ b/gnulib-tool	Tue Dec 26 18:42:09 2006 +0000
@@ -22,7 +22,7 @@
 
 progname=$0
 package=gnulib
-cvsdatestamp='$Date: 2006-12-26 01:51:36 $'
+cvsdatestamp='$Date: 2006-12-26 18:42:09 $'
 last_checkin_date=`echo "$cvsdatestamp" | sed -e 's,^\$[D]ate: ,,'`
 version=`echo "$last_checkin_date" | sed -e 's/ .*$//' -e 's,/,-,g'`
 nl='
@@ -960,7 +960,7 @@
         s/\\$/\\/
         ta
       }'
-      sed_extract_mentioned_files='s/^lib_SOURCES[ 	]*+=[ 	]*//p'
+      sed_extract_mentioned_files='s/^lib_SOURCES[	 ]*+=[	 ]*//p'
       already_mentioned_files=` \
         sed -n -e "/^Makefile\.am$sed_extract_prog" < "$lookedup_file" \
         | sed -e "$sed_combine_lines" \