From b9ffc0f2cf5d2f05e5269ffb8b5f58c5d7f71e0c Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Sat, 28 May 2011 06:44:07 +0000 Subject: [PATCH] fix unit test linking issue --- src/Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Makefile.am b/src/Makefile.am index bf20c9f77..de9aa0339 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -28,7 +28,7 @@ libcvc4_la_LDFLAGS = -version-info $(LIBCVC4_VERSION) # as a C library, which messes up exception handling support) nodist_EXTRA_libcvc4_noinst_la_SOURCES = dummy.cpp nodist_EXTRA_libcvc4_la_SOURCES = dummy.cpp -libcvc4_noinst_la_SOURCES = +libcvc4_noinst_la_SOURCES = subversion_versioninfo.cpp libcvc4_la_SOURCES = subversion_versioninfo.cpp libcvc4_la_LIBADD = \ @builddir@/util/libutil.la \ -- 2.30.2