Merge pull request #20 from davidgiven/dtrg-tests
authorDavid Given <dg@cowlark.com>
Thu, 1 Dec 2016 21:23:09 +0000 (22:23 +0100)
committerGitHub <noreply@github.com>
Thu, 1 Dec 2016 21:23:09 +0000 (22:23 +0100)
commitee22fc5fae8b0a14f1cf0b6b7fe6dee3d80fd6b5
tree836b7b84402945b76da803e02ba14a23f6844b7a
parentd94c3264651d45a0895e60578b47890af2e55ee8
parentb7de58e34ebb6150974fca24c6e07e4b46d21b0d
Merge pull request #20 from davidgiven/dtrg-tests

Replace the hacky pipeline in testdriver.sh with a bespoke tool.