From 889a170c81f7e507308222e84de79a1b72dc2094 Mon Sep 17 00:00:00 2001 From: john30 Date: Sun, 27 Aug 2017 11:59:16 +0200 Subject: [PATCH] php check --- test_coverage.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/test_coverage.sh b/test_coverage.sh index 997d7784..e5c8bf24 100755 --- a/test_coverage.sh +++ b/test_coverage.sh @@ -78,6 +78,7 @@ echo > dump ./src/tools/ebusctl -x >/dev/null 2>/dev/null ./src/tools/ebusctl 'help x' >/dev/null 2>/dev/null #server: +php -r 'echo "php is available";' php -r ' error_reporting (E_ALL); set_time_limit (0);