Fix one more $argv[0] interpolation in run.php
commit5dd3f6ab31bcfb814394a0340731623daa7af0c3
authorAlexey Toptygin <alexeyt@fb.com>
Thu, 18 Jul 2019 05:52:49 +0000 (17 22:52 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Thu, 18 Jul 2019 05:56:24 +0000 (17 22:56 -0700)
tree5c00bbcc6d3306a2f9ade1302792a06054cb8f86
parent228c742457dbd70960f54cf5ecc464540328a476
Fix one more $argv[0] interpolation in run.php

Summary: In D15721504, we missed one in the invalid option handling code.

Reviewed By: oulgen, yujunglo

Differential Revision: D16352302

fbshipit-source-id: 6248e29f2d6ae563254db6ea393a99d6f30ff97f
hphp/test/run.php