From e23e49cac13e8916297564620d23b93827deff16 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Sun, 21 Aug 2022 23:57:19 +0200
Subject: check for GNU parallel

---
 src/dht/dhtu_testbed_deploy.sh | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src/dht/dhtu_testbed_deploy.sh')

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
     exit 1
 fi
 
+echo -n "Testing for GNU parallel ..."
+
 if test ! -x `which parallel`
 then
     echo "This script requires GNU parallel"
     exit 1
 fi
 
+parallel -V | grep "GNU parallel" > /dev/null || exit 1
+
+echo " OK"
+
+
+
 if test ! -x `which gnunet-service-dht`
 then
     echo "This script requires gnunet-service-dht in \$PATH"
-- 
cgit v1.2.3