diff --git a/.gitignore b/.gitignore index 5c23ec8..4aa2884 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,2 @@ artefacts -*.tar.gz +*.tar.* diff --git a/Makefile b/Makefile index 16c3cc0..b3be621 100644 --- a/Makefile +++ b/Makefile @@ -40,4 +40,4 @@ ghdl-formal_${TAG}.tar.gz: clean: rm -rf artefacts - rm -f ghdl-formal_*.tar.gz + rm -f ghdl-formal_*.tar.*