update_server: 1.11 is the 1.12 branch

wesnoth · Jun 12, 2014 · 1a1ccea · 1a1ccea
1 parent 090f8bf
commit 1a1ccea
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/utils/mp-server/update_server b/utils/mp-server/update_server
@@ -71,6 +71,12 @@ case "$VERSION" in
 	CXXFLAGS="$CXXFLAGS -ggdb3 -DNUM_SHARDS=7 -DBANDWIDTH_MONITOR"
 	SOURCE_VERSION="1.10"
 	;;
+  1.11)
+	# Same flags as 1.12, but we need to build from 1.12 because there is no
+	# 1.11 branch. This is really only used for wesnothd.
+	CXXFLAGS="$CXXFLAGS -ggdb3 -DNUM_SHARDS=7 -DBANDWIDTH_MONITOR"
+	SOURCE_VERSION="1.12"
+	;;
   trunk|master)
 	CXXFLAGS="$CXXFLAGS -ggdb3 -DNUM_SHARDS=7 -O0 -DBANDWIDTH_MONITOR"
 	SOURCE_VERSION="master"