From 70c5e535bb9ae8d43b102d5faad8d09b18a7f069 Mon Sep 17 00:00:00 2001
From: Thom Wiggers <thom@thomwiggers.nl>
Date: Thu, 7 Feb 2019 09:59:28 +0100
Subject: [PATCH] Fix accidentally deleted line

I shouldve run `make -B test-all`.
---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index cccc5989..a99e7a90 100644
--- a/Makefile
+++ b/Makefile
@@ -21,6 +21,7 @@ bin/functest_$(subst /,_,$(SCHEME)): test/$(dir $(SCHEME))functest.c $(wildcard
 		-iquote "./common/" \
 		-iquote "$(SCHEME)/clean/" \
 		-o bin/functest_$(subst /,_,$(SCHEME)) \
+		$(SCHEME)/clean/*.c \
 		$(COMMON_FILES) \
 		$(RANDOM_IMPL) \
 		$<