-
Alexandre Duret-Lutz authored
* tests/Makefile.am (ltsmin_modelcheck_LDADD): Add -lpthread as it seems Debian's libtool does not carries this dependency over from libspotltsmin.la. Also using $(LTLIBMULTITHREAD) does not work, because that would add -pthread which is currently ignored when linking shared libraries (because libtool adds -nostdlib for some reason).
b1007a3d