From 61e9d18ef64470b614b6fc8d69f9b615bd455c10 Mon Sep 17 00:00:00 2001
From: Christoph Lehmann <christoph.lehmann@ufz.de>
Date: Fri, 3 Jun 2016 09:04:49 +0200
Subject: [PATCH] [scr/doc] fail if wrong input state detected
---
scripts/doc/check-project-params.py | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/scripts/doc/check-project-params.py b/scripts/doc/check-project-params.py
index 07419ec946d..c76b7d21903 100755
--- a/scripts/doc/check-project-params.py
+++ b/scripts/doc/check-project-params.py
@@ -25,6 +25,7 @@ undocumented = []
unneeded_comments = []
wrong_input = []
no_doc_page = []
+wrong_status = False
for inline in sys.stdin:
inline = inline.strip().split("@@@")
@@ -56,6 +57,7 @@ for inline in sys.stdin:
# unneeded.append(inline[1:])
else:
debug("ERROR: unrecognized status {}".format(status))
+ wrong_status = True
if (undocumented):
@@ -100,7 +102,8 @@ if (no_doc_page):
# exit with error status if something was not documented.
if (not not undocumented) or (not not unneeded_comments) \
- or (not not wrong_input) or (not not no_doc_page):
+ or (not not wrong_input) or (not not no_doc_page) \
+ or wrong_status:
sys.exit(1)
sys.exit(0)
--
GitLab