From f34bd41ec552d1f214277070c8b5d2166a8eadd5 Mon Sep 17 00:00:00 2001 From: Uwe Steinmann Date: Tue, 22 Aug 2023 11:24:14 +0200 Subject: [PATCH] use php7.4 for phing --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index ba8176ffa..7d32f68c4 100644 --- a/Makefile +++ b/Makefile @@ -24,7 +24,7 @@ dist: rm -rf tmp quickstart: - vendor/bin/phing -Dversion=$(VERSION) package + php7.4 vendor/bin/phing -Dversion=$(VERSION) package unittest: vendor/bin/phing -Dversion=$(VERSION) phpunitfast