Re #10636. Hopefully fixing coverity builds.
Re #10636. Trying to fix the script.
Re #10636. "exit" is the correct command.
Attempting to do a better return status
Merge pull request #91 from mantidproject/feature/10636_coverity_builds

Fix coverity builds