diff options
author | ridiculousfish <corydoras@ridiculousfish.com> | 2012-12-27 21:40:23 -0800 |
---|---|---|
committer | ridiculousfish <corydoras@ridiculousfish.com> | 2012-12-27 21:40:23 -0800 |
commit | 4cb70e8e2a718d62122401b8cbe0353136606433 (patch) | |
tree | 70b645c962831df4473b0b4bb1f74e28e2aa6730 /build_tools/build_documentation.sh | |
parent | abf3ee65632fc6b8a3966b58ef683f299e4db26c (diff) |
Fix a bad use of test
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 |