NEWS.stable: log cherry-pick [e446f25]->[c092018] relocatable-shell: Update suggested...

[gnulib.git] / lib / .cppi-disable

diff --git a/lib/.cppi-disable b/lib/.cppi-disable
index ce7e664..29c43f9 100644 (file)
--- a/lib/.cppi-disable
+++ b/lib/.cppi-disable
@@ -1,8 +1,7 @@
-alloca_.h
-allocsa.h
+alloca.in.h
 error.h
 exit.h
-fnmatch_.h
+fnmatch.in.h
 fts.c
 fts_.h
 getaddrinfo.h
@@ -12,12 +11,13 @@ getndelim2.h
 getopt.c
 getopt.h
 getopt1.c
-getopt_.h
+getopt.in.h
 getopt_int.h
 getpagesize.h
 getpass.c
 gettext.h
 localcharset.h
+malloca.h
 mbchar.h
 mbuiter.h
 md5.h
@@ -30,13 +30,11 @@ regex.h
 regex_internal.c
 regex_internal.h
 stat-time.h
-stdbool_.h
-strcase.h
-strdup.h
-strndup.h
-strnlen.h
+stdbool.in.h
+stdint.in.h
 strnlen1.h
 strtoul.c
+sys_socket.in.h
 time_r.h
 utimecmp.h
 vasnprintf.h