diff options
author | Michael Vogt <egon@debian-devbox> | 2012-05-11 17:15:52 +0200 |
---|---|---|
committer | Michael Vogt <egon@debian-devbox> | 2012-05-11 17:15:52 +0200 |
commit | c45798dbfce66810be2cea8d0051f429f342e90b (patch) | |
tree | ea9318770edf5699c885812ea1e87180d567ad02 /test/integration/framework | |
parent | 3f81d67e1b732c1fdc8c17990249eda0fc2e09d6 (diff) | |
parent | 5ca28ebd7445774963d59b35f83c649e1ff61ca0 (diff) |
merged from david
Diffstat (limited to 'test/integration/framework')
-rw-r--r-- | test/integration/framework | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/integration/framework b/test/integration/framework index b80b02922..5a0e1070f 100644 --- a/test/integration/framework +++ b/test/integration/framework @@ -107,6 +107,10 @@ aptitude() { LD_LIBRARY_PATH=${BUILDDIRECTORY} $(which aptitude) $* fi } +gdb() { + echo "gdb: run »$*«" + APT_CONFIG=aptconfig.conf LD_LIBRARY_PATH=${BUILDDIRECTORY} $(which gdb) ${BUILDDIRECTORY}/$1 +} addtrap() { CURRENTTRAP="$CURRENTTRAP $1" |