diff options
| author | Arthur de Jong <arthur@west.nl> | 2013-09-02 09:32:29 +0200 |
|---|---|---|
| committer | Arthur de Jong <arthur@arthurdejong.org> | 2013-09-02 21:38:56 +0200 |
| commit | a683aa8c7266e7851ca571b8705476268b8e9314 (patch) | |
| tree | 3a5cd54769a51f874fd313245b10d40afcffe98e | |
| parent | c8800eb3926106da797bd89f9507eb7765ee77fe (diff) | |
Small protability fix
| -rwxr-xr-x | tests/test_manpages.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/test_manpages.sh b/tests/test_manpages.sh index ee32917..8400aae 100755 --- a/tests/test_manpages.sh +++ b/tests/test_manpages.sh @@ -26,7 +26,7 @@ srcdir="${srcdir-`dirname "$0"`}" top_srcdir="${top_srcdir-${srcdir}/..}" # if xmlto is missing, ignore -if xmlto --version > /dev/null 2> /dev/null +if (xmlto --version) > /dev/null 2> /dev/null then : else |