Fix accidentally deleted line

I shouldve run `make -B test-all`.
This commit is contained in:
Thom Wiggers 2019-02-07 09:59:28 +01:00
parent 59f92730cf
commit 70c5e535bb
No known key found for this signature in database
GPG Key ID: 001BB0A7CE26E363

View File

@ -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) \
$<