*** empty log message ***

[splint.git] / src / Headers / local_constants.last

diff --git a/src/Headers/local_constants.last b/src/Headers/local_constants.last
index 75e573bb08d25f715cc4352b950bf51da45b1bbb..c4c3a887ac645344e32355e5979556d4d408aa9a 100644 (file)
--- a/src/Headers/local_constants.last
+++ b/src/Headers/local_constants.last
@@ -1,9 +1,7 @@
 /* local_constants.h - created automatically by gmake localconstants */
-/*@constant observer char *DEFAULT_CPPCMD;@*/
-# define DEFAULT_CPPCMD   
 /*@constant observer char *SYSTEM_LIBDIR;@*/
-# define SYSTEM_LIBDIR 
+# define SYSTEM_LIBDIR "/usr/include"
 /*@constant observer char *DEFAULT_LARCHPATH;@*/
-# define DEFAULT_LARCHPATH 
+# define DEFAULT_LARCHPATH "/usr/local/lclint-2.5m/lib"
 /*@constant observer char *DEFAULT_LCLIMPORTDIR;@*/
-# define DEFAULT_LCLIMPORTDIR 
+# define DEFAULT_LCLIMPORTDIR "/usr/local/lclint-2.5m/imports"