]> andersk Git - splint.git/commit
Updated documentation and Makefiles (LCLint -> splint),
authorherbert <herbert>
Mon, 18 Feb 2002 10:45:47 +0000 (10:45 +0000)
committerherbert <herbert>
Mon, 18 Feb 2002 10:45:47 +0000 (10:45 +0000)
commit87fa79e5e11203aaa46bc8fd3257e93fb6ced381
tree822efd91c0258256dd41737798f8fd8951579e9f
parent24633cea72ce411b2bb74177c293876d8c6ce5b3
Updated documentation and Makefiles (LCLint -> splint),
configuration is now largely automatic (using Unix tools `sed',
`tr' etc.), removed obsolete files.
16 files changed:
lib/Makefile.os2 [new file with mode: 0644]
os2/BUILD.OS2
os2/Makefile.os2
os2/README.OS2
os2/config.inc [deleted file]
os2/herald.h [deleted file]
os2/local_constants.h [deleted file]
os2/make.vars [new file with mode: 0644]
os2/makeos2.cmd
os2/os2config.h.in [new file with mode: 0644]
os2/run_splint.cmd [moved from os2/run_lclint.cmd with 79% similarity]
os2/setenv.cmd [deleted file]
os2/setenv.cmd.in [new file with mode: 0644]
src/Makefile.os2
src/splint.def [moved from src/lclint.def with 71% similarity]
test/Makefile.os2 [new file with mode: 0644]
This page took 0.136413 seconds and 5 git commands to generate.