diff options
author | Michael Vogt <mvo@ubuntu.com> | 2014-05-08 09:18:39 +0200 |
---|---|---|
committer | Michael Vogt <mvo@ubuntu.com> | 2014-05-08 09:18:39 +0200 |
commit | caa8a9f1e777f351b911dc8c30a858a5f026fca3 (patch) | |
tree | a9cb3ce115a832245cd528237cb238c38bca86bc /test/integration/framework | |
parent | ff94be47f5dbdcf99cea23fad8c9b992a8e5a67e (diff) | |
parent | b41713efc8f37d62f078bea850ef0a74e0af0103 (diff) |
Merge remote-tracking branch 'upstream/debian/sid' into bugfix/update-progress-reporting
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 |