From d5ca261bc7c01a3f84a63e7e76535c6c4419019b Mon Sep 17 00:00:00 2001
From: David Harris <David_Harris@hmc.edu>
Date: Tue, 6 Jun 2023 08:46:44 -0700
Subject: [PATCH] Modified benchmarks/coremark/Makefile to clean
 addins/coremark as well

---
 benchmarks/coremark/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/benchmarks/coremark/Makefile b/benchmarks/coremark/Makefile
index 7b30dcd3e..4295b5584 100644
--- a/benchmarks/coremark/Makefile
+++ b/benchmarks/coremark/Makefile
@@ -40,6 +40,7 @@ $(work_dir)/coremark.bare.riscv: $(sources) Makefile
 .PHONY: clean
 
 clean:
+	make -C $(cmbase) clean
 	rm -f $(work_dir)/*