From cbca0ae264e77f0b18361e4aa0738fcbf5473b50 Mon Sep 17 00:00:00 2001 From: Michael Vines Date: Mon, 17 Dec 2018 15:22:29 -0800 Subject: [PATCH] Remove dead code --- ci/publish-book.sh | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/ci/publish-book.sh b/ci/publish-book.sh index 620324d9ce..c7ea4ec2fe 100755 --- a/ci/publish-book.sh +++ b/ci/publish-book.sh @@ -8,18 +8,6 @@ _() { "$@" } -maybe_install() { - for cmd in "$@"; do - set +e - "$cmd" --help > /dev/null 2>&1 - declare exitcode=$? - set -e - if [[ $exitcode -ne 0 ]]; then - _ cargo install "$cmd" - fi - done -} - book/build.sh echo --- create book repo