From 66489a514262a322de6a57ab4548b96b2750240f Mon Sep 17 00:00:00 2001 From: =?utf8?q?Elan=20Ruusam=C3=A4e?= Date: Mon, 19 Dec 2016 22:24:57 +0200 Subject: [PATCH] add php 7.1 --- PLD_Builder/request.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/PLD_Builder/request.py b/PLD_Builder/request.py index eba63fc..24784c0 100644 --- a/PLD_Builder/request.py +++ b/PLD_Builder/request.py @@ -407,7 +407,7 @@ class Batch: return v.replace('.', '') # available php versions in distro - php_versions = ['4', '5.2', '5.3', '5.4', '5.5', '5.6', '7.0'] + php_versions = ['4', '5.2', '5.3', '5.4', '5.5', '5.6', '7.0', '7.1'] # current version if -D php_suffix is present php_version = php_name_to_ver(self.defines['php_suffix']) -- 2.44.0