diff options
| author | Michael Vogt <mvo@debian.org> | 2014-05-27 14:09:48 +0200 |
|---|---|---|
| committer | Michael Vogt <mvo@debian.org> | 2014-05-27 14:09:48 +0200 |
| commit | 9518b448743e9030d854fcbb104516dd5ba648f6 (patch) | |
| tree | 4e4b234c82b24d6b7ab00bc31c1e974b3ac12320 /test/integration/framework | |
| parent | 98c934f2723d63d00908803ad47ab1359081ec2d (diff) | |
| parent | bc1c9081e826c2c7f265f23d388ba868d5011f6a (diff) | |
Merge remote-tracking branch 'upstream/debian/sid' into debian/sid
Diffstat (limited to 'test/integration/framework')
| -rw-r--r-- | test/integration/framework | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test/integration/framework b/test/integration/framework index 3b900a960..eda3cebad 100644 --- a/test/integration/framework +++ b/test/integration/framework @@ -128,7 +128,10 @@ dpkgcheckbuilddeps() { } gdb() { echo "gdb: run »$*«" - APT_CONFIG=aptconfig.conf LD_LIBRARY_PATH=${LIBRARYPATH} command gdb ${BUILDDIRECTORY}/$1 --args "$@" + CMD="$1" + shift + + APT_CONFIG=aptconfig.conf LD_LIBRARY_PATH=${LIBRARYPATH} command gdb ${BUILDDIRECTORY}/$CMD --args ${BUILDDIRECTORY}/$CMD "$@" } gpg() { # see apt-key for the whole trickery. Setup is done in setupenvironment |