From 6a2192db6e0201a521c33e91705814040a91ecee Mon Sep 17 00:00:00 2001
From: Jordan Carlin <jordanmcarlin@gmail.com>
Date: Thu, 23 May 2024 13:56:38 -0700
Subject: [PATCH 1/2] Revert "Remove existing derived configs before creating
 new ones"

---
 sim/Makefile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/sim/Makefile b/sim/Makefile
index 79a3042e4..09d417124 100644
--- a/sim/Makefile
+++ b/sim/Makefile
@@ -62,7 +62,6 @@ coveragetests:
 	make -C ../tests/coverage/ --jobs
 
 deriv:
-	rm -rf ../config/deriv
 	derivgen.pl
 
 benchmarks:

From a1e22adc1ed3f66ce0bf7a288a678922de9dbb20 Mon Sep 17 00:00:00 2001
From: Jordan Carlin <jordanmcarlin@gmail.com>
Date: Thu, 23 May 2024 14:01:13 -0700
Subject: [PATCH 2/2] Delete deriv directory in derivgen.pl before remaking
 derived configs

---
 bin/derivgen.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/derivgen.pl b/bin/derivgen.pl
index 630962ca8..442455c53 100755
--- a/bin/derivgen.pl
+++ b/bin/derivgen.pl
@@ -70,10 +70,10 @@ foreach my $line (<$fh>) {
 }
 &terminateDeriv();
 close($fh);
+system("rm -rf $ENV{WALLY}/config/deriv");
 #foreach my $key (keys %derivs) {
 foreach my $key (@derivnames) {
     my $dir = "$ENV{WALLY}/config/deriv/$key";
-    system("rm -rf $dir");
     system("mkdir -p $dir");
     my $configunmod = "$dir/config_unmod.vh";
     my $config = "$dir/config.vh";