diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-05-28 06:44:07 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-05-28 06:44:07 +0000 |
commit | b9ffc0f2cf5d2f05e5269ffb8b5f58c5d7f71e0c (patch) | |
tree | 42ff6ef802647a37da591cdf5c03584dbef53c74 /src | |
parent | cac515ace0282dc5f3ee4de854ca1a5223bdf29a (diff) |
fix unit test linking issue
Diffstat (limited to 'src')
-rw-r--r-- | src/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
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 \ |