projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 70046d3)
Adding config/tap-driver.sh to .gitignore (#1792)
authoryoni206 <yoni206@users.noreply.github.com>
Thu, 19 Apr 2018 22:42:39 +0000 (15:42 -0700)
committerGitHub <noreply@github.com>
Thu, 19 Apr 2018 22:42:39 +0000 (15:42 -0700)
#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.

.gitignore patch | blob | history

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