Remove --save-state-with-spec
commitc477f4540e6fa162fbf19aee4227085fbe5bf300
authorHenri Verroken <hverr@fb.com>
Wed, 25 Aug 2021 16:02:10 +0000 (25 09:02 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Wed, 25 Aug 2021 16:05:45 +0000 (25 09:05 -0700)
tree56026f670efd226aede0118d1e2a7b406d3d880c
parent9978581810e0b3b4ab2d3ff8de086bdc9bacc746
Remove --save-state-with-spec

Summary: Deadcode, option is no longer used anywhere

Reviewed By: ljw1004

Differential Revision: D30539855

fbshipit-source-id: 4e165b8df18f19c2583bfa66dc431460c3d30886
hphp/hack/src/server/serverArgs.ml
hphp/hack/src/server/serverArgs_sig.ml
hphp/hack/src/server/serverEnvBuild.ml
hphp/hack/src/server/serverInit.ml
hphp/hack/src/server/serverInitCommon.ml
hphp/hack/src/server/serverLazyInit.ml
hphp/hack/src/server/serverMain.ml
hphp/hack/test/integration/saved_state_test_driver.py
hphp/hack/test/integration/test_save_state.py