Update genPrefetchDir to find changed files since last saved state revision
commit9b49a9e3ea13606946a83a19d79bd7414dc0dae3
authorMillie Chen <milliechen@fb.com>
Thu, 23 Sep 2021 19:46:48 +0000 (23 12:46 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Thu, 23 Sep 2021 19:48:12 +0000 (23 12:48 -0700)
tree51a412d120d2fe5abc8c42cfeec2f9c2159f1266
parent4239de531a18d1b542a979a72171116841a821d1
Update genPrefetchDir to find changed files since last saved state revision

Summary: D30407722 (https://github.com/facebook/hhvm/commit/b3a139997f6758b3ac7ad2c8a8743d7dd2e208e0) added a hh_server command `hh --genPrefetchDir`, which generates a directory of decls for all the changed files in the current commit. This diff updates the command such that it finds all the changed files since the last saved state commit (which might tens or hundreds) and generate decls for all files changed since the saved state commit.

Reviewed By: bobrenjc93

Differential Revision: D31133939

fbshipit-source-id: e8dcf036656b5c9cd2201c535e4d798cacf1ecea
hphp/hack/src/server/serverGenPrefetchDir.ml
hphp/hack/src/stubs/saved_state_loader.ml