]> andersk Git - splint.git/blame - src/Headers/local_constants.h
Added check of user specified post conditions.
[splint.git] / src / Headers / local_constants.h
CommitLineData
885824d3 1/* local_constants.h - created automatically by gmake localconstants */
2/*@constant observer char *SYSTEM_LIBDIR;@*/
8f299805 3# define SYSTEM_LIBDIR "/usr/include"
885824d3 4/*@constant observer char *DEFAULT_LARCHPATH;@*/
8f299805 5# define DEFAULT_LARCHPATH ".:/afs/cert.org/usr/dlaroche/LCLintDev/lib"
885824d3 6/*@constant observer char *DEFAULT_LCLIMPORTDIR;@*/
8f299805 7# define DEFAULT_LCLIMPORTDIR "/afs/cert.org/usr/dlaroche/LCLintDev/imports"
This page took 0.325574 seconds and 5 git commands to generate.