Searched refs:runCommand (Results 1 – 2 of 2) sorted by relevance
| /php-src/benchmark/ |
| H A D | benchmark.php | 53 $result = runCommand(['git', 'log', '--pretty=format:%H', '-n', '1'], dirname(__DIR__));
93 return runCommand([PHP_BINARY, ...$args], $cwd);
111 $process = runCommand([
|
| H A D | shared.php | 8 function runCommand(array $args, ?string $cwd = null): ProcessResult { function
71 runCommand(['git', 'clone', '-q', '--end-of-options', $url, $repo], dirname($path));
|
Completed in 7 milliseconds
