projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b9baa6) | patch
Remove tap-driver.sh (#1791)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 19 Apr 2018 17:28:51 +0000 (10:28 -0700)
committerGitHub <noreply@github.com>
Thu, 19 Apr 2018 17:28:51 +0000 (10:28 -0700)
commit4af9af22f728ebb12afe48c587cfe665fc8cb123
tree2215113eabbd19f935db314fcb2398da29a9be3ftree
parent8b9baa66ad6ffc9e323b83bc967992439a7d9bfacommit | diff
Remove tap-driver.sh (#1791)

The autogen.sh script that we use causes the tap-driver.sh script to be
copied from automake installed on the system, so we do not have to
include it in our git repository. This also avoids ping-ponging between
different versions of the tap-driver script if different people have
different versions and commit them as part of their PRs.
config/tap-driver.sh [deleted file] blob | history