From a81d5d8c62b37fdb8d82d9cebd9cfa044222b9d8 Mon Sep 17 00:00:00 2001
From: Ingo Schwarze <schwarze@openbsd.org>
Date: Thu, 18 May 2017 14:45:34 +0000
Subject: Use [ rather than [[ for portability, in particular since it makes no
 difference in the case at hand. Reported by Leah Neukirchen <leah at vuxu dot
 org> (Void Linux).

---
 gmdiff | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gmdiff b/gmdiff
index 278ce749..535874fc 100644
--- a/gmdiff
+++ b/gmdiff
@@ -43,7 +43,7 @@ while [ -n "$1" ]; do
   ${MANDOC:=mandoc} -Ios='OpenBSD ports' $MOPT $file \
     2> /tmp/mandoc.err > /tmp/mandoc.out
   for i in roff mandoc; do
-    [[ -s /tmp/$i.err ]] && echo "$i errors:" && cat /tmp/$i.err
+    [ -s /tmp/$i.err ] && echo "$i errors:" && cat /tmp/$i.err
   done
   diff -au /tmp/roff.out /tmp/mandoc.out 2>&1
 done
-- 
cgit v1.2.3