Fix build of test directory

[satcheck.git] / common.mk

diff --git a/common.mk b/common.mk
index b91369fe113d94a94dc46317c450fd4b7ec2fa5c..763ccd04a2ef697b70df6aed891833cc40680d6e 100644 (file)
--- a/common.mk
+++ b/common.mk
@@ -8,6 +8,7 @@ UNAME := $(shell uname)
 LIB_NAME := model
 TSO_LIB_SO := libtso_$(LIB_NAME).so
 SC_LIB_SO := libsc_$(LIB_NAME).so
+TEST_LIB_SO := sc_model
 
 CPPFLAGS += -Wall -g -O3