Skip to content

Commit 0cbb40c

Browse files
mattvennsmunaut
authored andcommitted
build: fix the make clean rule
It wasn't removing formal yaml files.
1 parent 139e773 commit 0cbb40c

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

Makefile

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -104,7 +104,8 @@ clean:
104104
sim/tt_top_tb \
105105
sim/*.vcd \
106106
sim/tt_user_module.v \
107-
formal/modules_*.{yaml,v} \
107+
formal/modules_*.v \
108+
formal/modules_*.yaml \
108109
formal/*.vcd \
109110
$(NULL)
110111
rm -Rf formal/tt_tristate

0 commit comments

Comments
 (0)