Fix bug detecting standard header files.
[splint-patched.git] / lib / 
treed1e8671e1c589499299a64295cb5c3ea3a0b5e36
drwxr-xr-x   ..
-rw-r--r-- 2730 CTrait.syms
-rw-r--r-- 36 CTraitGen.lcl.bak
-rw-r--r-- 1388 Makefile.am
-rw-r--r-- 1869 Makefile.os2
-rw-r--r-- 236 bool.h
-rw-r--r-- 434 file.mts
-rw-r--r-- 1002 file.xh
-rw-r--r-- 784 filerw.mts
-rw-r--r-- 317 filerw.xh
-rw-r--r-- 778 lclinit.lci
-rw-r--r-- 8448 linux.h
-rw-r--r-- 901 lslinit.lsi
-rw-r--r-- 23646 posix.h
-rw-r--r-- 39260 standard.h
-rw-r--r-- 5102 stdio.h
-rw-r--r-- 7164 stdlib.h
-rw-r--r-- 453 tainted.mts
-rw-r--r-- 2288 tainted.xh
-rw-r--r-- 60961 unix.h