From fb8e97dd04eac8e981b0f48ec99f03ca520f99a5 Mon Sep 17 00:00:00 2001 From: Jordan Carlin Date: Thu, 23 May 2024 13:17:24 -0700 Subject: [PATCH] Remove existing derived configs before creating new ones --- sim/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/sim/Makefile b/sim/Makefile index 09d417124..79a3042e4 100644 --- a/sim/Makefile +++ b/sim/Makefile @@ -62,6 +62,7 @@ coveragetests: make -C ../tests/coverage/ --jobs deriv: + rm -rf ../config/deriv derivgen.pl benchmarks: