Public Git Hosting - hiphop-php.git/commit

commit	caa136bad18ed134d4b495e651d4e4fef4d5d62c
author	Hugo Venturini <hgo@fb.com>
	Thu, 20 Apr 2017 09:33:50 +0000 (20 02:33 -0700)
committer	Hhvm Bot <hhvm-bot@users.noreply.github.com>
	Thu, 20 Apr 2017 09:36:32 +0000 (20 02:36 -0700)
tree	86e9510f7d21b5de46ffad4473a7818b0a1c0f8e	tree \| snapshot (tar.gz zip)
parent	1e84ca6640a3e5532b98dab812ab1b30abeaba6e	commit \| diff

faster script

Summary: using the latest options of HHVM

Differential Revision: D4913247

fbshipit-source-id: 64b890c6c0a5e2e4dd1117d9035f7c5540d2c54a

hphp/hack/scripts/log_hh_codegen_results_to_scuba.py		diff \| blob \| blame \| history
hphp/hack/scripts/measure_hh_codegen.sh		diff \| blob \| blame \| history