aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorGravatar Alexis Degrugillier <aledeg@users.noreply.github.com> 2020-05-28 23:20:53 +0200
committerGravatar GitHub <noreply@github.com> 2020-05-28 23:20:53 +0200
commitf05408a2e5ee2a83b6af38fd4cf46876c34328ba (patch)
treea7206d72cab833e30962c95a85fb3cbdaaf4789a /Makefile
parent015cd1e06e15ea1c261633848752ccd491ee6194 (diff)
Fix makefile when no local php (#3010)
The makefile did not work when there was no local php.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 1 insertions, 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 \