alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

tests: add missing library

Browse source 
* tests/Makefile.am: Here.
This commit is contained in:
Etienne Renault 2020-05-19 08:00:13 +02:00
parent 2a41772ff9
commit 7c9ae3d361
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
tests/Makefile.am
View file

@ -476,7 +476,8 @@ ltsmin_testconvert_SOURCES = ltsmin/testconvert.cc
ltsmin_testconvert_LDADD = \
$(top_builddir)/bin/libcommon.a \
$(top_builddir)/lib/libgnu.la \
$(top_builddir)/spot/libspot.la \
$(top_builddir)/spot/libspot.la \
$(top_builddir)/buddy/src/libbddx.la \
$(top_builddir)/spot/ltsmin/libspotltsmin.la