Merge pull request #1949 from corporateshark/master
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Fri, 1 Nov 2019 00:28:53 +0000 (18:28 -0600)
committerGitHub <noreply@github.com>
Fri, 1 Nov 2019 00:28:53 +0000 (18:28 -0600)
Add option ENABLE_CTEST to skip testing


Trivial merge