public-mirrors
/
docker-php-extension-installer
mirror of https://github.com/mlocati/docker-php-extension-installer
1
0
Fork 0
Code

Merge pull request #75 from itscaro/fix-printf 

fix printf
pull/79/head
Michele Locati 2019-12-20 17:28:03 +01:00 committed by GitHub
parent 658b73bd21 a1547ab626
commit 0f552e12a4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
install-php-extensions
View File

@ -118,7 +118,7 @@ processCommandArguments() {
if test $processCommandArguments_endArgs -eq 0; then if test $processCommandArguments_endArgs -eq 0; then
case "$1" in case "$1" in
--cleanup) --cleanup)
printf '### WARNING the --cleanup option is deprecated (we always cleanup everything) ###\n' "$1" >&2 printf '### WARNING the %s option is deprecated (we always cleanup everything) ###\n' "$1" >&2
processCommandArguments_skip=1 processCommandArguments_skip=1
;; ;;
--) --)