update_server: Use $HOME/source for SOURCE_ROOT

... instead of hardcoding a path in /usr. This should let server2 and server3 use an unmodified copy of the script.
wesnoth · Jun 12, 2014 · e122da9 · e122da9
1 parent 9b065fd
commit e122da9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/utils/mp-server/update_server b/utils/mp-server/update_server
@@ -44,7 +44,7 @@ VERSION="${VERSION:=$1}"
 echo "Building $TYPE-$VERSION..."
 
 # Parent for the $VERSION source trees, never written to.
-SOURCE_ROOT="/usr/src/wesnoth"
+SOURCE_ROOT="$HOME/source"
 # Parent for the $VERSION intermediate build dir.
 INT_ROOT="$HOME/builds-int"
 # Parent for the $BUILD_ID output dir.