diff options
| author | 2020-05-28 23:20:53 +0200 | |
|---|---|---|
| committer | 2020-05-28 23:20:53 +0200 | |
| commit | f05408a2e5ee2a83b6af38fd4cf46876c34328ba (patch) | |
| tree | a7206d72cab833e30962c95a85fb3cbdaaf4789a /Makefile | |
| parent | 015cd1e06e15ea1c261633848752ccd491ee6194 (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-- | Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -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 \ |
