From 9cecb5df4a7a28af3d350d2ea0b1e4cdb3ebce48 Mon Sep 17 00:00:00 2001 From: Marti Bolivar Date: Thu, 24 Jan 2019 20:36:57 -0700 Subject: [PATCH] scripts: run_ci.sh: remove dead code Commit 88ece494 ("ci: do not build docs in main CI job") removed the call to build_docs but not the function itself. That makes it confusing to try to find where it's called; remove it. Signed-off-by: Marti Bolivar --- scripts/ci/run_ci.sh | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/scripts/ci/run_ci.sh b/scripts/ci/run_ci.sh index 65ad553f17c..b8e49dce5c0 100755 --- a/scripts/ci/run_ci.sh +++ b/scripts/ci/run_ci.sh @@ -199,17 +199,6 @@ function run_bsim_bt_tests() { tests/bluetooth/bsim_bt/run_parallel.sh } -function build_docs() { - echo "- Building Documentation"; - make htmldocs || ( echo "Documentation build failed" ; exit 1 ) - - if [ -s doc/_build/doc.warnings ]; then - echo " => New documentation warnings/errors"; - cp doc/_build/doc.warnings doc.warnings - fi - echo "- Verify commit message, coding style, doc build"; -} - function get_tests_to_run() { ./scripts/ci/get_modified_tests.py --commits ${COMMIT_RANGE} > modified_tests.args; ./scripts/ci/get_modified_boards.py --commits ${COMMIT_RANGE} > modified_boards.args;