This commit is contained in:
Jordan Carlin 2024-08-30 11:57:31 -07:00
parent 80750f2308
commit 4929581576
No known key found for this signature in database

View File

@ -152,7 +152,7 @@ if {[lcheck lst "--fcov2"]} {
#lappend FCdefineCOVER_EXTS "+define+COVER_RV64D"
#lappend FCdefineCOVER_EXTS "+define+COVER_RV64ZICSR"
#lappend FCdefineCOVER_EXTS "+define+COVER_RV64C"
}\
}
# if --lockstep or --fcov found set flag and remove from list
if {[lcheck lst "--lockstep"] || $FunctCoverage == 1} {