Revert "Remove existing derived configs before creating new ones"

This commit is contained in:
Jordan Carlin 2024-05-23 13:56:38 -07:00 committed by GitHub
parent fc6814909d
commit 6a2192db6e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

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