Call book/build.sh from docker (#5237) (#5238)

automerge
2019-07-22 22:22:06 -07:00
parent cf7c5cdb03
commit c1d78ddbb5
1 changed files with 2 additions and 1 deletions
--- a/ci/publish-book.sh
+++ b/ci/publish-book.sh
@ -4,6 +4,7 @@ set -e
 cd "$(dirname "$0")/.."
 BOOK="book"

+source ci/rust-version.sh stable
 eval "$(ci/channel-info.sh)"

 if [[ -n $PUBLISH_BOOK_TAG ]]; then
@ -44,7 +45,7 @@ else
  BOOK=$CHANNEL
 fi

-book/build.sh
+ci/docker-run.sh "$rust_stable_docker_image" bash -exc "book/build.sh"

 echo --- create book repo
 (