From 33bb8662a09d1208d0da34a67a18048a06f9c3fd Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Wed, 8 May 2013 16:28:45 +0200
Subject: [PATCH] tool/run: fix 'interact' command invocation

Use the '-i' option to pass the spawn id to the 'interact' command.

Fixes #737.
---
 tool/run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool/run b/tool/run
index f0c5f4b85..550b039d6 100755
--- a/tool/run
+++ b/tool/run
@@ -418,7 +418,7 @@ proc wait_for_output { wait_for_re timeout_value running_spawn_id } {
 
 	if {$wait_for_re == "forever"} {
 		set timeout -1
-		interact $running_spawn_id
+		interact -i $running_spawn_id
 	} else {
 		set timeout $timeout_value
 	}