Read specialization from the repo
commitbb9215bd6c7e90b58cf26e5ec83fa50c6cf42c05
authorShaunak Kishore <kshaunak@fb.com>
Thu, 11 Jun 2020 04:28:53 +0000 (10 21:28 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Thu, 11 Jun 2020 04:32:26 +0000 (10 21:32 -0700)
tree8def1d3844475c83b2a275422a5fb11b45f727f3
parent4f523b54f2069a3f3c4d51a20a26e459225d4395
Read specialization from the repo

Summary: In repo mode, we should always trust the repo's view of this flag.

Reviewed By: dneiter

Differential Revision: D21986751

fbshipit-source-id: e2cc348d8235fda8e2bbf813235e7adaba75aa4a
hphp/runtime/vm/repo.cpp