From ab2010f1c1f4ec7f5ee10ba524c4e9c29792ae81 Mon Sep 17 00:00:00 2001 From: Loup Vaillant Date: Sun, 17 Jun 2018 19:30:41 +0200 Subject: [PATCH] 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. --- .gitignore | 3 ++- tarball_ignore | 3 ++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/.gitignore b/.gitignore index 41c97b5..0f23b06 100644 --- 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 4983766..6f72ee6 100644 --- 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 -- 2.47.3