Add way to manually specify dirty naming files.
commit17d0eedae6d6835c6ff37bd501e4e66786492be8
authorJulia Pitts <jupi@fb.com>
Fri, 23 Aug 2019 20:26:08 +0000 (23 13:26 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Fri, 23 Aug 2019 20:27:54 +0000 (23 13:27 -0700)
treebdb551551083e7fcc1547b7f5d2f0ccdb2a98dde
parent4e59d040b695562e878009f228cc0d3c90acac55
Add way to manually specify dirty naming files.

Summary: It's useful to be able to manually specify which files should be considered changed between the naming table saved state and the current commit on the command line.

Differential Revision: D16922569

fbshipit-source-id: 4998b171cf69948f83a26d2c2810f56d8a7dbcb3
hphp/hack/src/server/serverLazyInit.ml
hphp/hack/src/utils/cli_args.ml
hphp/hack/src/utils/cli_args_sig.ml
hphp/hack/test/integration_ml/integration_test_base.ml