From be51a9841e42ba692237da608e049e23fb27bba7 Mon Sep 17 00:00:00 2001
From: tmeissner <programming@goodcleanfun.de>
Date: Fri, 28 Aug 2020 12:04:07 +0200
Subject: [PATCH] clean also removes sha-file

---
 .gitignore | 2 +-
 Makefile   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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.*