diff options
| author | William Deegan <bill@baddogconsulting.com> | 2015-09-28 20:01:37 (GMT) |
|---|---|---|
| committer | William Deegan <bill@baddogconsulting.com> | 2015-09-28 20:01:37 (GMT) |
| commit | 3359572ab98baf9f408c7e86ad0d2df9a50594a4 (patch) | |
| tree | 92449ae9b29b96d5cf944b600c202be9c9625aeb /bin | |
| parent | 8474df368aeed8807eb4b9ca20041676f42e69c6 (diff) | |
| download | SCons-3359572ab98baf9f408c7e86ad0d2df9a50594a4.zip SCons-3359572ab98baf9f408c7e86ad0d2df9a50594a4.tar.gz SCons-3359572ab98baf9f408c7e86ad0d2df9a50594a4.tar.bz2 | |
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 c445c3f..f888c21 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) |