From 0580932cb0da7fac6b8aa5f5b98beb824a3fff50 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 22 Mar 2022 16:42:04 +0000
Subject: Fix Makefiles in build and for benchmarks

---
 test/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test')

diff --git a/test/Makefile b/test/Makefile
index fa482c6..aa76e70 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -18,7 +18,7 @@ all: $(TESTS)
 	@$(CC) $(CFLAGS) -o $@ $<
 
 %.v: %.c
-	@$(VERICERT) $(VERICERT_OPTS) -o $@ $<
+	$(VERICERT) $(VERICERT_OPTS) -o $@ $<
 
 %.iver: %.v
 	@$(IVERILOG) $(IVERILOG_OPTS) -o $@ -- $<
-- 
cgit