diff options
-rwxr-xr-x | src/dht/test_dht_tools.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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" | |||
8 | 8 | ||
9 | stop_arm() | 9 | stop_arm() |
10 | { | 10 | { |
11 | if ! $armexe $DEBUG -e > $out ; then | 11 | if ! $armexe $DEBUG -e -d > $out ; then |
12 | echo "FAIL: error running $armexe" | 12 | echo "FAIL: error running $armexe" |
13 | echo "Command output was:" | 13 | echo "Command output was:" |
14 | cat $out | 14 | cat $out |