From 090f8bf0cb205ee0bde8720fdc5022e927ca01ce Mon Sep 17 00:00:00 2001 From: "Ignacio R. Morelle" Date: Thu, 12 Jun 2014 17:16:59 -0400 Subject: [PATCH] update_server: Build from master if the $VERISON is not recognized --- utils/mp-server/update_server | 2 ++ 1 file changed, 2 insertions(+) diff --git a/utils/mp-server/update_server b/utils/mp-server/update_server index 699b7b2f1603..88d9550bc96d 100755 --- a/utils/mp-server/update_server +++ b/utils/mp-server/update_server @@ -77,6 +77,8 @@ case "$VERSION" in ;; *) CXXFLAGS="$CXXFLAGS -ggdb3 -DNUM_SHARDS=7 -DBANDWIDTH_MONITOR" + echo "Unrecognized version, building from 'master'..." + SOURCE_VERSION="master" ;; esac