diff options
Diffstat (limited to 'build_tools/build_documentation.sh')
| -rwxr-xr-x | build_tools/build_documentation.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build_tools/build_documentation.sh b/build_tools/build_documentation.sh index 75202506..6e6d2050 100755 --- a/build_tools/build_documentation.sh +++ b/build_tools/build_documentation.sh @@ -90,7 +90,7 @@ fi echo "Cleaning up '$TMPLOC'" rm -Rf "$TMPLOC" -if test $RESULT == 0; then +if test "$RESULT" = 0; then # Tell the user what we did echo "Output man pages into '${OUTPUTDIR}'" else |