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).

1 files changed, 1 insertions, 1 deletions

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