From f04cfb8ad435c6e5f0d6d1e3746e027aa785f792 Mon Sep 17 00:00:00 2001 From: ENGO150 Date: Fri, 9 Dec 2022 17:46:57 +0100 Subject: [PATCH] added missing libwhy2 into testLogger rule --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 3830241..185fca5 100644 --- a/Makefile +++ b/Makefile @@ -86,7 +86,7 @@ testCore: $(CC) $(CFLAGS) -g $(TEST_CORE) -o $(OUTPUT_TEST_CORE) -l$(PROJECT_NAME) testLogger: - $(CC) $(CFLAGS) -g $(TEST_LOGGER) -o $(OUTPUT_TEST_LOGGER) -l$(PROJECT_NAME)-logger + $(CC) $(CFLAGS) -g $(TEST_LOGGER) -o $(OUTPUT_TEST_LOGGER) -l$(PROJECT_NAME) -l$(PROJECT_NAME)-logger app: $(CC) $(CFLAGS) $(SRC_CORE_APP) -o $(OUTPUT_APP) -l$(PROJECT_NAME)