Merge pull request #812 from jordancarlin/revert-811-dev

Revert "Remove existing derived configs before creating new ones" and remove in derivgen.pl instead
This commit is contained in:
Rose Thompson 2024-05-23 16:05:19 -05:00 committed by GitHub
commit 5b7b23fd64
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 1 additions and 2 deletions

View File

@ -70,10 +70,10 @@ foreach my $line (<$fh>) {
} }
&terminateDeriv(); &terminateDeriv();
close($fh); close($fh);
system("rm -rf $ENV{WALLY}/config/deriv");
#foreach my $key (keys %derivs) { #foreach my $key (keys %derivs) {
foreach my $key (@derivnames) { foreach my $key (@derivnames) {
my $dir = "$ENV{WALLY}/config/deriv/$key"; my $dir = "$ENV{WALLY}/config/deriv/$key";
system("rm -rf $dir");
system("mkdir -p $dir"); system("mkdir -p $dir");
my $configunmod = "$dir/config_unmod.vh"; my $configunmod = "$dir/config_unmod.vh";
my $config = "$dir/config.vh"; my $config = "$dir/config.vh";

View File

@ -62,7 +62,6 @@ coveragetests:
make -C ../tests/coverage/ --jobs make -C ../tests/coverage/ --jobs
deriv: deriv:
rm -rf ../config/deriv
derivgen.pl derivgen.pl
benchmarks: benchmarks: