Skip the pipe test if GNU head is not available.

2023-07-22 20:46:51 +01:00
parent 264e3a5879
commit 2303da77db
1 changed files with 6 additions and 0 deletions
@@ -13,6 +13,12 @@ do
        fi
 done

+# Check that it really is GNU head, and skip the test if not.
+if ! echo | $HEAD -c 10 >/dev/null 2>&1; then
+	echo "GNU \`head' is required"
+	exit 2
+fi
+
 # Don't use dd. See http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=324308
 COUNT1=100000000
 #COUNT2=`$PROG -B 100000 -q /dev/zero | $HEAD -c $COUNT1 | wc -c | tr -d ' '`