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

cvc5#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.
timothy-king · Apr 19, 2018 · 9b062e5 · 9b062e5
1 parent 70046d3
commit 9b062e5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -24,6 +24,7 @@ generated/
 *.gcov
 /lcov/
 /config/compile
+/config/tap-driver.sh
 .cvc4_config
 config.reconfig
 *.swp