From 50d5a17c7a175b80ca36d05d07d99895231dadae Mon Sep 17 00:00:00 2001 From: Prasanna Santhanam Date: Tue, 31 Jul 2012 17:20:45 +0530 Subject: [PATCH] Fail with non-zero exit code when toc category missing --- setup/apidoc/gen_toc.py | 1 + 1 file changed, 1 insertion(+) diff --git a/setup/apidoc/gen_toc.py b/setup/apidoc/gen_toc.py index f2cd0d57fbc..3ad808b0f83 100644 --- a/setup/apidoc/gen_toc.py +++ b/setup/apidoc/gen_toc.py @@ -132,6 +132,7 @@ def choose_category(fn): return v raise Exception('Need to add a category for %s to %s:known_categories' % (fn, __file__)) + sys.exit(1) for f in sys.argv: