Merge branch 'master' of https://github.com/wesnoth/wesnoth

wesnoth · Mar 11, 2014 · f9bf982 · f9bf982
2 parents 426721f + b6ce79e
commit f9bf982
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/utils/mp-server/update_server b/utils/mp-server/update_server
@@ -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)