*** empty log message ***

[splint.git] / src / Makefile.sys

diff --git a/src/Makefile.sys b/src/Makefile.sys
index 91d64dcdc73d4b6923cc72fa32cb9e37c8a67de5..eb601314e85258e141be83c8c6d70b2a8e41c344 100644 (file)
--- a/src/Makefile.sys
+++ b/src/Makefile.sys
@@ -87,6 +87,6 @@ VERSION_NUMBER  = lastversion
 ###
 
 SYSTEM_LIBDIR   = "/usr/include"
-DEFAULT_LARCHPATH = "/usr/local/lclint-2.5m/lib"
-DEFAULT_LCLIMPORTDIR = "/usr/local/lclint-2.5m/imports"
+DEFAULT_LARCHPATH = "/usr/local/lclint/lib"
+DEFAULT_LCLIMPORTDIR = "/usr/local/lclint/imports"