1.1 --- a/tools/debugger/gdb/gdbbuild	Mon Jan 22 15:57:19 2007 +0000
     1.2 +++ b/tools/debugger/gdb/gdbbuild	Mon Jan 22 15:58:27 2007 +0000
     1.3 @@ -2,19 +2,21 @@
     1.4  
     1.5  set -e
     1.6  
     1.7 +GDB_VERSION=6.2.1
     1.8 +
     1.9  [ "$GDB_MIRROR" ] || GDB_MIRROR="ftp://ftp.gnu.org/gnu/gdb/"
    1.10  
    1.11 -rm -rf gdb-6.2.1 gdb-6.2.1-linux-i386-xen
    1.12 -[ -a gdb-6.2.1.tar.bz2 ] || wget -c "$GDB_MIRROR/gdb-6.2.1.tar.bz2"
    1.13 -tar xjf gdb-6.2.1.tar.bz2
    1.14 +rm -rf gdb-$GDB_VERSION gdb-$GDB_VERSION-linux-i386-xen
    1.15 +[ -a gdb-$GDB_VERSION.tar.bz2 ] || wget -c "$GDB_MIRROR/gdb-$GDB_VERSION.tar.bz2"
    1.16 +tar xjf gdb-$GDB_VERSION.tar.bz2
    1.17  
    1.18 -cd gdb-6.2.1-xen-sparse
    1.19 -bash ./mkbuildtree ../gdb-6.2.1
    1.20 +cd gdb-$GDB_VERSION-xen-sparse
    1.21 +bash ./mkbuildtree ../gdb-$GDB_VERSION
    1.22  
    1.23  cd ..
    1.24 -mkdir gdb-6.2.1-linux-i386-xen
    1.25 -cd gdb-6.2.1-linux-i386-xen
    1.26 -../gdb-6.2.1/configure
    1.27 +mkdir gdb-$GDB_VERSION-linux-i386-xen
    1.28 +cd gdb-$GDB_VERSION-linux-i386-xen
    1.29 +../gdb-$GDB_VERSION/configure
    1.30  
    1.31  # Use $MAKE if set, else use gmake if present, otherwise use make
    1.32  if [ "$MAKE" ]; then