From 539c1ba7211f579bad4f59ae824f1e68e620ecbd Mon Sep 17 00:00:00 2001 From: John Spray Date: Wed, 3 Jun 2015 10:09:09 +0100 Subject: [PATCH] admin/build-doc: fix dependency checks Fixes: #11857 Signed-off-by: John Spray --- admin/build-doc | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/admin/build-doc b/admin/build-doc index f3ebd3402e39b..0b6e88eb81ed5 100755 --- a/admin/build-doc +++ b/admin/build-doc @@ -1,7 +1,5 @@ #!/bin/sh -set -e - cd "$(dirname "$0")" cd .. TOPDIR=`pwd` @@ -47,6 +45,10 @@ else fi fi +# Don't enable -e until after running all the potentially-erroring checks +# for availability of commands +set -e + cat src/osd/PG.h src/osd/PG.cc | doc/scripts/gen_state_diagram.py > doc/dev/peering_graph.generated.dot cd build-doc -- 2.39.5