Some consistency changes to library & headers flags.
[splint-patched.git] / os2 / 
tree077983be51fb55d572220fccf8319664e9c39c58
drwxr-xr-x   ..
-rw-r--r-- 2012 BUILD.OS2
-rw-r--r-- 5618 README.OS2
-rw-r--r-- 2011 make.vars
-rwxr-xr-x 1048 makeos2.cmd
-rw-r--r-- 967 os2config.h.in
-rwxr-xr-x 380 run_splint.cmd
-rw-r--r-- 367 setenv.cmd.in
-rw-r--r-- 88 splint.def