set GC params
commitb8e010f14eb7db13d0bfee8d263b8a534826708d
authorCatherine Gasnier <catg@fb.com>
Fri, 29 Jul 2022 03:00:43 +0000 (28 20:00 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Fri, 29 Jul 2022 03:00:43 +0000 (28 20:00 -0700)
tree9383508c4dc90f84aa78bd6e70cb188c52df2b6d
parenta61bf2fc97283c5192885524b3165a25cb7ea9be
set GC params

Summary: These are the same as in hh_server

Reviewed By: bobrenjc93

Differential Revision: D38256988

fbshipit-source-id: 99f66c3b41cfb96cdc9698069b221daab9a723d4
hphp/hack/src/batch/batch_init.ml
hphp/hack/src/batch/batch_init.mli