Przeglądaj źródła

add $* to gdb to make it more useful

Michael Vogt 12 lat temu
rodzic
commit
6161edd7a3
1 zmienionych plików z 1 dodań i 1 usunięć
  1. 1 1
      test/integration/framework

+ 1 - 1
test/integration/framework

@@ -116,7 +116,7 @@ aptitude() {
 }
 }
 gdb() {
 gdb() {
 	echo "gdb: run »$*«"
 	echo "gdb: run »$*«"
-	APT_CONFIG=aptconfig.conf LD_LIBRARY_PATH=${BUILDDIRECTORY} $(which gdb) ${BUILDDIRECTORY}/$1
+	APT_CONFIG=aptconfig.conf LD_LIBRARY_PATH=${BUILDDIRECTORY} $(which gdb) ${BUILDDIRECTORY}/$1 --args $*
 }
 }
 http() {
 http() {
 	LD_LIBRARY_PATH=${BUILDDIRECTORY} ${BUILDDIRECTORY}/methods/http
 	LD_LIBRARY_PATH=${BUILDDIRECTORY} ${BUILDDIRECTORY}/methods/http