diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2015-11-16 06:58:30 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2015-11-16 06:58:30 +0100 |
| commit | dcffe49265eb5d1255b96fcbdba58a50db879fee (patch) | |
| tree | 498cf4db1a14292430c9fc19a572419b1dac866d /bin/docs-validate.py | |
| parent | 8f2056eedecb0c2a7d794b78343d82cae50ffc38 (diff) | |
| parent | e20c9557371eacec533588d33b4bebd543ba178f (diff) | |
Merge tag 'upstream/2.4.1'
Upstream version 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) |