| commit | 5191b47dff4f4ce856fe9c888aa734c92f8e8868 | |
| author | Lucian Wischik <ljw@fb.com> | |
| Wed, 10 Jun 2020 05:11:43 +0000 (9 22:11 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Wed, 10 Jun 2020 05:16:31 +0000 (9 22:16 -0700) | ||
| tree | a3d1097134ec8e915eef741f91bdd1c1c2b2e2c7 | treesnapshot (tar.gz zip) |
| parent | 9017fb78fc206006304a24b7c193e0e4974ab1d8 | commitdiff |
add `hh --client-logname`
Summary:
I recently added a new logfile for hh_client to write to. I thought I could get away without having to add a CLI interface to obtain its filename. But apparently not.
(I want sandcastle_perf to be able to cat the client log.)
This diff adds `hh --client-logname`, by analogy to all the other commands for retrieving lognames.
Reviewed By: arxanas
Differential Revision: D21914865
fbshipit-source-id: bb377d85c163eeea4c9e6b9068059187ac6a95d4
Summary:
I recently added a new logfile for hh_client to write to. I thought I could get away without having to add a CLI interface to obtain its filename. But apparently not.
(I want sandcastle_perf to be able to cat the client log.)
This diff adds `hh --client-logname`, by analogy to all the other commands for retrieving lognames.
Reviewed By: arxanas
Differential Revision: D21914865
fbshipit-source-id: bb377d85c163eeea4c9e6b9068059187ac6a95d4
| hphp/hack/src/client/clientArgs.ml | diffblobblamehistory |