diff options
| author | kaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk> | 2006-09-13 15:15:27 +0100 |
|---|---|---|
| committer | kaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk> | 2006-09-13 15:15:27 +0100 |
| commit | 37a7b1e0457a0ceec2a5bad4473000f81ef530dd (patch) | |
| tree | baec6fe57c6fee70a004f829e6ef454e3834f5c7 /tools/debugger | |
| parent | d90899c1d8585428a9ceadd12a2cd08fa59bacea (diff) | |
| download | xen-37a7b1e0457a0ceec2a5bad4473000f81ef530dd.tar.gz xen-37a7b1e0457a0ceec2a5bad4473000f81ef530dd.tar.bz2 xen-37a7b1e0457a0ceec2a5bad4473000f81ef530dd.zip | |
[GDBSERVER] make gdbbuild exit on error
If an error occurs, such as wget failing because the site (or proxy)
is unavailable, the script will now terminate, rather than trying
to soldier on without any real hope of success.
mkbuildtree should really get the same treatment, but that
can wait for another day.
Signed-Off-By: Simon Horman <horms@verge.net.au>
Diffstat (limited to 'tools/debugger')
| -rwxr-xr-x | tools/debugger/gdb/gdbbuild | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/debugger/gdb/gdbbuild b/tools/debugger/gdb/gdbbuild index 419adab61d..ba7fd7c68a 100755 --- a/tools/debugger/gdb/gdbbuild +++ b/tools/debugger/gdb/gdbbuild @@ -1,5 +1,7 @@ #!/bin/sh +set -e + [ "$GDB_MIRROR" ] || GDB_MIRROR="ftp://ftp.gnu.org/gnu/gdb/" rm -rf gdb-6.2.1 gdb-6.2.1-linux-i386-xen |