Fix makefile when no local php (#3010)

The makefile did not work when there was no local php.
2020-05-28 23:20:53 +02:00 · 2020-05-28 23:20:53 +02:00 · f05408a2e5
parent 015cd1e06e
commit f05408a2e5
1 changed files with 1 additions and 2 deletions
--- a/3
+++ b/3
@ -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 \