Merge pull request #811 from jordancarlin/dev

Remove existing derived configs before creating new ones
This commit is contained in:
Rose Thompson 2024-05-23 15:28:59 -05:00 committed by GitHub
commit fc6814909d
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

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