[projects/pld-builder.new] add php71

[glen]

commit 0ca1304b5ef20f1b1f9afac86cbd7c167fe1749e
Author: Elan Ruusamäe <glen at delfi.ee>
Date:   Mon Dec 12 20:17:44 2016 +0200

    add php71

 client/php.sh   | 2 +-
 client/php71.sh | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)
---
diff --git a/client/php.sh b/client/php.sh
index 422dacd..5caf68e 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 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 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"} "$@"
diff --git a/client/php71.sh b/client/php71.sh
new file mode 120000
index 0000000..d20ec52
--- /dev/null
+++ b/client/php71.sh
@@ -0,0 +1 @@
+php.sh
\ No newline at end of file
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/projects/pld-builder.new.git/commitdiff/0ca1304b5ef20f1b1f9afac86cbd7c167fe1749e