update_server: boost_prefix=-mt isn't good for gonzo anymore

This commit is contained in:
Ignacio R. Morelle 2014-11-22 05:09:01 -03:00
parent d95b181eaa
commit 2c625b6d9d

View file

@ -119,7 +119,7 @@ if [ $TYPE = wesnothd ]; then
BUILD_OPTIONS="fifodir=$DEST/var/run raw_sockets=1 forum_user_handler=1"
case $(hostname) in
gonzo.dicp.de)
BUILD_OPTIONS="fifodir=$DEST/var/run raw_sockets=1 boostdir=$HOME/tools/include boostlibdir=$HOME/tools/lib boost_suffix=-mt"
BUILD_OPTIONS="fifodir=$DEST/var/run raw_sockets=1 boostdir=$HOME/tools/include boostlibdir=$HOME/tools/lib"
;;
basilic)
BUILD_OPTIONS="fifodir=$DEST/var/run raw_sockets=1"