From f05408a2e5ee2a83b6af38fd4cf46876c34328ba Mon Sep 17 00:00:00 2001
From: Alexis Degrugillier <aledeg@users.noreply.github.com>
Date: Thu, 28 May 2020 23:20:53 +0200
Subject: Fix makefile when no local php (#3010)

The makefile did not work when there was no local php.
---
 Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index f06d3f49b..d5bd9ca7d 100644
--- a/Makefile
+++ b/Makefile
@@ -5,10 +5,9 @@ ifndef TAG
 endif
 
 PORT ?= 8080
-PHP := $(shell sh -c 'which php')
 
 ifdef NO_DOCKER
-	PHP = php
+	PHP = $(shell which php)
 else
 	PHP = docker run \
 		--rm \
-- 
cgit v1.2.3