mirrors/PocketMine-MP
1
0
Fork 0
mirror of https://github.com/pmmp/PocketMine-MP.git synced 2025-09-06 17:59:48 +00:00
Code Issues Projects Releases Wiki Activity

Merge branch 'stable'

Browse Source 
it looks like I goofed up the last merge and the changelog didn't get
merged into master.
This commit is contained in:
Dylan K. Taylor
2021-10-02 20:18:06 +01:00
parent 0108888450 65e468e3c2
commit f9e6fd44bc
4 changed files with 21 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tests/gh-actions/build.sh
View File

@ -42,7 +42,7 @@ function build_leveldb {
build_leveldb 84348b9b826cc280cde659185695d2170b54824c
rm -rf php-build
git clone https://github.com/php-build/php-build.git
git clone https://github.com/pmmp/php-build.git
cd php-build
./install-dependencies.sh
echo '"pthreads",,"https://github.com/pmmp/pthreads.git",,,"extension",' >> share/php-build/extension/definition