Fix lit fatal errors about requiring a USE_Z3_SOLVER param
authorReid Kleckner <rnk@google.com>
Tue, 14 Aug 2018 21:15:57 +0000 (21:15 +0000)
committerReid Kleckner <rnk@google.com>
Tue, 14 Aug 2018 21:15:57 +0000 (21:15 +0000)
commitb8c29d538b81b6b7220367ae6a17442ed2582983
treeb2761e5157362c0deed846aa526676b0c7e50d74
parentc531d549677609f976b62b90c05829c7c6807369
Fix lit fatal errors about requiring a USE_Z3_SOLVER param

llvm-svn: 339728
clang/test/lit.site.cfg.py.in