if  [  "$TEG_SERVER"  =  "n"  ];  then
  OPTS="${OPTS}  --disable-server"
fi  &&

if  [  "$TEG_ROBOT"  =  "n"  ];  then
  OPTS="${OPTS}  --disable-robot"
fi  &&

default_games_build
