remove files on exit

diff --git a/src/dht/test_dht_tools.sh b/src/dht/test_dht_tools.sh
index d417ac09d2f2cec10047331cef82b7e531fdcba5..9b05b76365cae91cdcef2108a4c9b1221e945d21 100755 (executable)
--- 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