#!/bin/csh -f
setenv XENROOT `bk root`

cd $XENROOT/tools/gdb
rm -rf gdb-6.2.1  gdb-6.2.1-linux-i386-xen
wget ftp://mirrors.kernel.org/sources.redhat.com/gdb/releases/gdb-6.2.1.tar.bz2
tar xjf gdb-6.2.1.tar.bz2

cd $XENROOT/tools/gdb/gdb-6.2.1-xen-sparse
./mkbuildtree ../gdb-6.2.1

mkdir $XENROOT/tools/gdb/gdb-6.2.1-linux-i386-xen
cd $XENROOT/tools/gdb/gdb-6.2.1-linux-i386-xen
../gdb-6.2.1/configure
gmake -j4
