Public Git Hosting - hiphop-php.git/commit

commit	db48c29ca19215df69ec052ac745f8ccbd088ec6
author	Vassil Mladenov <vmladenov@fb.com>
	Fri, 7 Sep 2018 18:39:50 +0000 (7 11:39 -0700)
committer	Hhvm Bot <hhvm-bot@users.noreply.github.com>
	Fri, 7 Sep 2018 18:43:32 +0000 (7 11:43 -0700)
tree	ed1c2269be3a9089e811590879e3c239c88f7687	tree \| snapshot (tar.gz zip)
parent	a2e07ceadd44a26c10b2f56ffde69e7035276333	commit \| diff

Clean up ocp from Makefile

Reviewed By: fredemmott

Differential Revision: D9599168

fbshipit-source-id: 16abc5367f6043b0f8272b91dfd760c018524898