Update compile-php.sh

This commit is contained in:
Jerry Ma 2022-06-27 14:06:01 +08:00 committed by GitHub
parent 8fd3cab450
commit 9cc703d424
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -112,8 +112,12 @@ cd $php_dir && \
make LDFLAGS="-ldl" -j$(cat /proc/cpuinfo | grep processor | wc -l) && \
make install-cli && \
$self_dir/check-extensions.sh finish_compile && \
strip $self_dir/php-dist/bin/php && \
echo "Copying php binary to $OUT_DIR ..." && \
strip $self_dir/php-dist/bin/php
if [ $? != 0 ]; then
exit $?
fi
# 将 PHP 和 micro 输出到指定目录
echo "Copying php binary to $OUT_DIR ..." && \
cp $self_dir/php-dist/bin/php $OUT_DIR/ && \
test -f $php_dir/sapi/micro/micro.sfx && \
echo "Copying micro.sfx binary to $OUT_DIR ..." && \