From 17b7fb6413536a79b5475a9ed818a329f17b4df9 Mon Sep 17 00:00:00 2001 From: Sebastian Feldmann Date: Wed, 26 May 2021 11:28:35 +0200 Subject: [PATCH] Use the right php binary --- src/Captain.php | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/Captain.php b/src/Captain.php index 4922332..e24a70d 100644 --- a/src/Captain.php +++ b/src/Captain.php @@ -67,7 +67,9 @@ public function execute(string $command, IOInterface $io) $executable = str_replace(' ', '\\ ', $this->executable); // sub process settings - $cmd = $executable . ' ' . $command . $ansi . $interaction . $skip . $configuration . $repository; + $cmd = PHP_BINARY . ' ' . $executable . ' ' . $command + . $ansi . $interaction . $skip + . $configuration . $repository; $pipes = []; $spec = [ 0 => ['file', 'php://stdin', 'r'],