diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2015-11-16 06:58:13 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2015-11-16 06:58:13 +0100 |
| commit | e20c9557371eacec533588d33b4bebd543ba178f (patch) | |
| tree | d48d297298e410a3068d647c95f2d06e635015b8 /bin/docs-validate.py | |
| parent | f681a1fb71c146c754f57508afac240d0e1b47e1 (diff) | |
Imported Upstream version 2.4.1upstream/2.4.1
Diffstat (limited to 'bin/docs-validate.py')
| -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) |