From: yoni206 <yoni206@users.noreply.github.com>
Date: Thu, 19 Apr 2018 22:42:39 +0000 (-0700)
Subject: Adding config/tap-driver.sh to .gitignore  (#1792)
X-Git-Tag: cvc5-1.0.0~5138
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9b062e5b7e8478d78dabaf60701d647b7aaa9b6e;p=cvc5.git

Adding config/tap-driver.sh to .gitignore  (#1792)

#1791 removed config/tap-driver.sh from the repo, as ./autogen.sh adds it automatically.
The current PR prevents this file from being added to the untracked changes list when doing git status.
---

diff --git a/.gitignore b/.gitignore
index b63d4c851..4bcdbe54a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -24,6 +24,7 @@ generated/
 *.gcov
 /lcov/
 /config/compile
+/config/tap-driver.sh
 .cvc4_config
 config.reconfig
 *.swp