Remove existing derived configs before creating new ones

This commit is contained in:
Jordan Carlin 2024-05-23 13:17:24 -07:00
parent d9ac37d771
commit fb8e97dd04
No known key found for this signature in database

View File

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