Updated documentation and Makefiles (LCLint -> splint),

[splint.git] / os2 / local_constants.h

diff --git a/os2/local_constants.h b/os2/local_constants.h
deleted file mode 100644 (file)
index 6bb6e37..0000000
--- a/os2/local_constants.h
+++ /dev/null
@@ -1,9 +0,0 @@
-/* local_constants.h - created automatically by gmake localconstants */\r
-/*@constant observer char *DEFAULT_CPPCMD;@*/\r
-# define DEFAULT_CPPCMD "cpp "\r
-/*@constant observer char *SYSTEM_LIBDIR;@*/\r
-# define SYSTEM_LIBDIR "\\usr\\include"\r
-/*@constant observer char *DEFAULT_LARCHPATH;@*/\r
-# define DEFAULT_LARCHPATH ".;\\usr\\lib\\lclint\\lib"\r
-/*@constant observer char *DEFAULT_LCLIMPORTDIR;@*/\r
-# define DEFAULT_LCLIMPORTDIR "\\usr\\lib\\lclint\\imports"\r