Make run.php use real mkdtemp
commitdda8d3ef0c3f64d91b1807d0b4434f52da7893d9
authorAlexey Toptygin <alexeyt@fb.com>
Tue, 7 Jul 2020 16:22:37 +0000 (7 09:22 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Tue, 7 Jul 2020 16:28:12 +0000 (7 09:28 -0700)
tree8487e2c75809caa5dab69aa6d270dbf2d72df440
parentfe59b2f5ce8b92f04ac39a8a0c6ca7d79f98203a
Make run.php use real mkdtemp

Summary:
We've had the mkdtemp primitive in HH\Lib\_Private\_OS for some time now, the test runner should use it.

This is sort-of a rebase of D21651622, but with the misleading (preexisting) comment removed (sys_get_temp_dir() returns '/tmp' for me).

Reviewed By: ricklavoie

Differential Revision: D22399039

fbshipit-source-id: 236f845fa049641ba73971e6fd2a2862735403da
hphp/test/run.php