0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

update_server: The 1.12 branch now exists

Browse source
This commit is contained in:
Ignacio R. Morelle 2014-03-10 17:00:10 -03:00
parent 7f5006ed45
commit b6ce79e634
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
utils/mp-server/update_server
View file

@ -32,7 +32,7 @@ case "$VERSION" in
1.4) CXXFLAGS="$CXXFLAGS -ggdb3 -DNUM_SHARDS=7 -DBANDWIDTH_MONITOR"
SCONS=no
cd "$SOURCE"/1.4 ;;
1.6|1.8|1.10)
1.6|1.8|1.10|1.12)
CXXFLAGS="$CXXFLAGS -ggdb3 -DNUM_SHARDS=7 -DBANDWIDTH_MONITOR"
cd "$SOURCE"/$VERSION ;;
1.9)