diff options
| -rwxr-xr-x | testsuite/gna/bug033/testsuite.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/gna/bug033/testsuite.sh b/testsuite/gna/bug033/testsuite.sh index c57a46b07..07cf61433 100755 --- a/testsuite/gna/bug033/testsuite.sh +++ b/testsuite/gna/bug033/testsuite.sh @@ -10,6 +10,8 @@ $GHDL --pp-html simple.vhdl > /dev/null $GHDL --xref-html simple.vhdl $GHDL --xref-html --std=08 simple08.vhdl +rm -rf html + clean echo "Test successful" |