[projects/pld-builder.new] php: add php72-common

[glen]

commit 9a3c076c4c87819252010f88890e976e157ca945
Author: Elan Ruusamäe <glen at delfi.ee>
Date:   Sat Oct 28 23:45:26 2017 +0300

    php: add php72-common

 client/php.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/client/php.sh b/client/php.sh
index 5caf68e..7242576 100755
--- a/client/php.sh
+++ b/client/php.sh
@@ -11,7 +11,7 @@ if [ "$suffix" = "" ]; then
 	done
 	exit 0
 else
-	pre_command='for a in php4-common php52-common php53-common php54-common php55-common php56-common php70-common php71-common hhvm; do poldek -e $a --noask; done; :'
+	pre_command='for a in php4-common php52-common php53-common php54-common php55-common php56-common php70-common php71-common php72-common hhvm; do poldek -e $a --noask; done; :'
 fi
 
 exec $dir/make-request.sh -D "php_suffix $suffix" ${pre_command:+-c "$pre_command"} ${post_command:+-C "$post_command"} "$@"
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/projects/pld-builder.new.git/commitdiff/9a3c076c4c87819252010f88890e976e157ca945