aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/gmdiff
diff options
context:
space:
mode:
Diffstat (limited to 'gmdiff')
-rw-r--r--gmdiff2
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