From 2a10a38fa622dd05167969f65953aee89e91a940 Mon Sep 17 00:00:00 2001 From: Theodoros Kasampalis Date: Mon, 13 Sep 2021 21:12:22 -0500 Subject: [PATCH] Include iele-test-client in the installation (#309) --- Makefile | 1 - 1 file changed, 1 deletion(-) diff --git a/Makefile b/Makefile index 469bd0107..9687463e9 100644 --- a/Makefile +++ b/Makefile @@ -423,7 +423,6 @@ all_lib_sources := $(shell find $(IELE_LIB) -type f -not -path "$(IELE_LIB)/*.ml" \ -not -path "$(IELE_LIB)/*.mli" \ -not -path "$(IELE_LIB)/*.o" \ - -not -path "$(IELE_LIB)/iele-test-client" \ -not -path "$(IELE_LIB)/plugin-node/*" \ -not -path "$(IELE_LIB)/check/well-formedness-kompiled/dt/*" \ -not -path "$(IELE_LIB)/node/iele-testing-kompiled/dt/*" \