diff options
| author |   Ingo Schwarze <schwarze@openbsd.org> | 2017-05-18 14:45:34 +0000 |
|---|---|---|
| committer | Ingo Schwarze <schwarze@openbsd.org> | 2017-05-18 14:45:34 +0000 |
| commit | a81d5d8c62b37fdb8d82d9cebd9cfa044222b9d8 (patch) | |
| tree | e9bffa828d6aa059f74921f29bf1691e814bbea2 /gmdiff | |
| parent | f7464ac0fa669c59b2930f137049b871e828064a (diff) | |
| download | mandoc-a81d5d8c62b37fdb8d82d9cebd9cfa044222b9d8.tar.gz mandoc-a81d5d8c62b37fdb8d82d9cebd9cfa044222b9d8.tar.zst mandoc-a81d5d8c62b37fdb8d82d9cebd9cfa044222b9d8.zip | |
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).
Diffstat (limited to 'gmdiff')
| -rw-r--r-- | gmdiff | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |