diff options
author | Jim Meyering <jim@meyering.net> | 2000-11-03 08:43:20 +0000 |
---|---|---|
committer | Jim Meyering <jim@meyering.net> | 2000-11-03 08:43:20 +0000 |
commit | ffc35388d283da9210b889725950acc08583528e (patch) | |
tree | 1648d248bde5a255433d2e5755f458a107ebd285 /lib/.cppi-disable | |
parent | c8d3fe3f072856ae63025d5766535fd9d203d6b5 (diff) | |
download | gnulib-ffc35388d283da9210b889725950acc08583528e.tar.gz |
Do not comment out all the code if we are using
the GNU C library, because in some cases we are replacing buggy
code in the GNU C library itself.
Diffstat (limited to 'lib/.cppi-disable')
-rw-r--r-- | lib/.cppi-disable | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/.cppi-disable b/lib/.cppi-disable index cfacdfc638..96c8b7734b 100644 --- a/lib/.cppi-disable +++ b/lib/.cppi-disable @@ -8,3 +8,4 @@ obstack.h regex.h regex.c getpagesize.h +fnmatch.c |