Properly ignore the formal-analysis folder

The way it was done earlier was also ignoring the formal-analysis.sh
script, which was then absent from the tarball releases.

diff --git a/.gitignore b/.gitignore
index 41c97b5a1d18f1cebd1363559d9f6a43820ee30d..0f23b068ce53945ee25cd0b2246518350d2cf39e 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -9,6 +9,7 @@
 *.sav
 *.profraw
 *.profdata
-tests/formal-analysis*
+tests/formal-analysis/*
+tests/formal-analysis
 doc/html/*.html
 tests/vectors.h

diff --git a/tarball_ignore b/tarball_ignore
index 49837665daaf04a8df39a29f074e73441d67f4f3..6f72ee66b84b5af1d29ff2ac30bbc4de5581c040 100644 (file)
--- a/tarball_ignore
+++ b/tarball_ignore
@@ -9,7 +9,8 @@
 *.sav
 *.profraw
 *.profdata
-tests/formal-analysis*
+tests/formal-analysis/*
+tests/formal-analysis
 lib*
 .git*
 tarball_ignore