From 5addc34393dca9081feb6ddf1628ba724e28a23e Mon Sep 17 00:00:00 2001
From: "Nathan S. Evans" <evans@in.tum.de>
Date: Fri, 30 Apr 2010 08:06:55 +0000
Subject: [PATCH] remove files on exit

---
 src/dht/test_dht_tools.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/dht/test_dht_tools.sh b/src/dht/test_dht_tools.sh
index d417ac09d..9b05b7636 100755
--- a/src/dht/test_dht_tools.sh
+++ b/src/dht/test_dht_tools.sh
@@ -8,7 +8,7 @@ checkout="check.out"
 
 stop_arm()
 {
-  if ! $armexe $DEBUG -e > $out ; then
+  if ! $armexe $DEBUG -e -d > $out ; then
     echo "FAIL: error running $armexe"
     echo "Command output was:"
     cat $out
-- 
2.25.1