From: Michael Wallner <mike@php.net>
Date: Fri, 7 Jun 2019 08:04:45 +0000 (+0200)
Subject: bail out on unknown PHP version
X-Git-Url: https://git.m6w6.name/?a=commitdiff_plain;h=180b4945beb4d4a274ab640f9a18b88dbc9065a5;p=m6w6%2Fpecl-ci

bail out on unknown PHP version
---

diff --git a/Makefile b/Makefile
index d20e6a4..e0e3a6b 100644
--- a/Makefile
+++ b/Makefile
@@ -75,6 +75,7 @@ clean:
 .PHONY: check
 check: $(PHP_RELEASES)
 	@if test -z "$(PHP)"; then echo "No php version specified, e.g. PHP=5.6"; exit 1; fi
+	@if test -z "$(PHP_VERSION)"; then echo "No PHP version akin to $(PHP) available"; exit 1; fi
 	if test -d $(srcdir)/php-$(PHP_VERSION)/.git; then cd $(srcdir)/php-$(PHP_VERSION)/; git pull; fi
 
 .PHONY: reconf