update_server: The 1.12 branch now exists

wesnoth · Mar 10, 2014 · b6ce79e · b6ce79e
1 parent 7f5006e
commit b6ce79e
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)