From 14a636f9a7a85f61b8d5c15d97d9b9a683d0a175 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Thu, 13 Feb 2014 17:22:12 +0100
Subject: [PATCH] Noux: fix GDB arguments in run script

Noux generates 'argv[0]' for the initial child automatically (in contrast
to the 'config_args' library), so the first argument stated in the
configuration should not be the GDB program name.

Fixes #1062.
---
 ports/run/noux_gdb.run | 1 -
 1 file changed, 1 deletion(-)

diff --git a/ports/run/noux_gdb.run b/ports/run/noux_gdb.run
index 15cdb8ad6a..cf4239b054 100644
--- a/ports/run/noux_gdb.run
+++ b/ports/run/noux_gdb.run
@@ -167,7 +167,6 @@ append config {
 				</fstab> }
 append config "
 				<start name=\"/bin/${tool_prefix}gdb\">
-					<arg value=\"/bin/${tool_prefix}gdb\"/>
 					<arg value=\"/gdb/${gdb_target_binary_name}\"/> "
 append config {
 					<arg value="-ex" /><arg value="set interactive-mode off" />