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

Update check-extensions.sh [skip ci]

Browse Source
This commit is contained in:
Jerry Ma 2022-06-20 18:53:19 +08:00 committed by GitHub
parent 1f2be3b484
commit 09437d3e91
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/check-extensions.sh
View File

@ -101,7 +101,7 @@ function check_before_configure() {
done
case $1 in
8.*)
mv $self_dir/source/micro $php_dir/sapi/ && \
mv $self_dir/source/phpmicro $php_dir/sapi/micro && \
sed -ie 's/#include "php.h"/#include "php.h"\n#define PHP_MICRO_FAKE_CLI 1/g' $php_dir/sapi/micro/php_micro.c
;;
esac