upstream/wesnoth
1
0
Fork 0
mirror of https://github.com/wesnoth/wesnoth synced 2025-04-23 22:00:25 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge changes from update_server2 into update_server

Browse Source
This commit is contained in:
Iris Morelle 2021-11-28 05:15:03 -03:00
parent 6644f2e081
commit d886914287
No known key found for this signature in database
GPG Key ID: E312033F4023A753
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
utils/mp-server/update_server
View File

@ -138,6 +138,10 @@ if [ $TYPE = wesnothd ]; then
esac
fi
if [ "$TYPE" = "campaignd" ] && [ "$VERSION" != "1.14" ]; then
BUILD_OPTIONS="forum_user_handler=1"
fi
mkdir -p "$DEST"/var/run
echo " Version: $VERSION"
@ -166,7 +170,6 @@ scons \
install-$TYPE \
prefix="$DEST" \
program_suffix="-$VERSION" \
use_network_ana=false \
profile=0 \
fribidi=0 \
python=0 \