[PATCH] D79974: [Fuchsia] Do not enable the Z3 solver for a fuchsia toolchain

Petr Hosek via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu May 14 16:21:39 PDT 2020


phosek accepted this revision.
phosek added a comment.
This revision is now accepted and ready to land.

LGTM, don't forget to include full context with your patches.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D79974/new/

https://reviews.llvm.org/D79974





More information about the cfe-commits mailing list