diff options
-rwxr-xr-x | src/dht/dhtu_testbed_deploy.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/dht/dhtu_testbed_deploy.sh b/src/dht/dhtu_testbed_deploy.sh index 5a7fdde15..3a2ffeff0 100755 --- a/src/dht/dhtu_testbed_deploy.sh +++ b/src/dht/dhtu_testbed_deploy.sh | |||
@@ -23,12 +23,20 @@ then | |||
23 | exit 1 | 23 | exit 1 |
24 | fi | 24 | fi |
25 | 25 | ||
26 | echo -n "Testing for GNU parallel ..." | ||
27 | |||
26 | if test ! -x `which parallel` | 28 | if test ! -x `which parallel` |
27 | then | 29 | then |
28 | echo "This script requires GNU parallel" | 30 | echo "This script requires GNU parallel" |
29 | exit 1 | 31 | exit 1 |
30 | fi | 32 | fi |
31 | 33 | ||
34 | parallel -V | grep "GNU parallel" > /dev/null || exit 1 | ||
35 | |||
36 | echo " OK" | ||
37 | |||
38 | |||
39 | |||
32 | if test ! -x `which gnunet-service-dht` | 40 | if test ! -x `which gnunet-service-dht` |
33 | then | 41 | then |
34 | echo "This script requires gnunet-service-dht in \$PATH" | 42 | echo "This script requires gnunet-service-dht in \$PATH" |