From: Loup Vaillant <loup@loup-vaillant.fr>
Date: Sun, 17 Jun 2018 17:30:41 +0000 (+0200)
Subject: Properly ignore the formal-analysis folder
X-Git-Url: https://git.codecow.com/?a=commitdiff_plain;h=ab2010f1c1f4ec7f5ee10ba524c4e9c29792ae81;p=Monocypher.git

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