crazywhalecc/static-php-cli
1
0
Fork 0
mirror of https://github.com/crazywhalecc/static-php-cli.git synced 2026-03-18 21:04:52 +08:00
Code Issues Packages Projects Releases Wiki Activity

Update compile-php.sh

Browse Source
This commit is contained in:
Jerry Ma 2022-08-16 10:17:34 +08:00 committed by GitHub
parent 99bdb1fec1
commit 0fbef677ca
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
docker/compile-php.sh
View File

@ -114,7 +114,7 @@ cd $php_dir && \
$self_dir/check-extensions.sh finish_compile && \ $self_dir/check-extensions.sh finish_compile && \
strip $self_dir/php-dist/bin/php strip $self_dir/php-dist/bin/php
if [ $? != 0 ]; then if [ $? != 0 ]; then
exit $? exit 1
fi fi
# 将 PHP 和 micro 输出到指定目录 # 将 PHP 和 micro 输出到指定目录
echo "Copying php binary to $OUT_DIR ..." && \ echo "Copying php binary to $OUT_DIR ..." && \