bash vs sh

diff --git a/src/dht/test_dht_tools.sh b/src/dht/test_dht_tools.sh
index c026ecf0b1469e6dd46dcd6616274836ff4d135b..d417ac09d2f2cec10047331cef82b7e531fdcba5 100755 (executable)
--- a/src/dht/test_dht_tools.sh
+++ b/src/dht/test_dht_tools.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 armexe="gnunet-arm -c test_dht_api_peer1.conf "
 putexe="gnunet-dht-put -c test_dht_api_peer1.conf "