Tried to fix some problems with the configuration system.

[splint.git] / lib / Makefile.in

diff --git a/lib/Makefile.in b/lib/Makefile.in
index b01e29c4d38cc3310cd12b2a9a0953032e3eb663..5c46e79bcb2364241e574f88506824185d738ecb 100644 (file)
--- a/lib/Makefile.in
+++ b/lib/Makefile.in
@@ -95,7 +95,7 @@ lclintlib_DATA = \
 
 EXTRA_DIST = $(lclintlib_DATA)
 
-LCLINT = $(top_builddir)/bin/lclint$(EXEEXT)
+LCLINT = $(top_builddir)/src/lclint$(EXEEXT)
 subdir = lib
 mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs
 CONFIG_HEADER = $(top_builddir)/config.h