diff options
author | William Deegan <bill@baddogconsulting.com> | 2015-09-28 13:01:37 -0700 |
---|---|---|
committer | William Deegan <bill@baddogconsulting.com> | 2015-09-28 13:01:37 -0700 |
commit | aeb07cc8cccd59eb727dcf3967f7ad3cdebc8158 (patch) | |
tree | 92449ae9b29b96d5cf944b600c202be9c9625aeb /bin | |
parent | 66cf82efa112b6212942b6084061be624e5b0314 (diff) | |
download | scons-aeb07cc8cccd59eb727dcf3967f7ad3cdebc8158.tar.gz |
exit with non-zero exit code if validation fails
Diffstat (limited to 'bin')
-rw-r--r-- | bin/docs-validate.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/docs-validate.py b/bin/docs-validate.py index c445c3f9..f888c219 100644 --- a/bin/docs-validate.py +++ b/bin/docs-validate.py @@ -25,3 +25,4 @@ if __name__ == "__main__": print "OK" else: print "Validation failed! Please correct the errors above and try again." + sys.exit(1) |