diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2018-01-23 10:50:15 -0500 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2018-01-23 10:50:31 -0500 |
| commit | 016260eaf20f3fd06f9d29acbfea528012be1aa0 (patch) | |
| tree | 1c311a00ef27abc2589fb4548462ad5a8bfe568a /src/doc/rustc-dev-guide/ci | |
| parent | 33893a8d5bce0c5ca225c28fc5dfa94900783aad (diff) | |
| download | rust-016260eaf20f3fd06f9d29acbfea528012be1aa0.tar.gz rust-016260eaf20f3fd06f9d29acbfea528012be1aa0.zip | |
make `github_pages.sh` more chatty
Diffstat (limited to 'src/doc/rustc-dev-guide/ci')
| -rw-r--r-- | src/doc/rustc-dev-guide/ci/github_pages.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/ci/github_pages.sh b/src/doc/rustc-dev-guide/ci/github_pages.sh index 603b280f983..f5dd7898ba3 100644 --- a/src/doc/rustc-dev-guide/ci/github_pages.sh +++ b/src/doc/rustc-dev-guide/ci/github_pages.sh @@ -7,4 +7,6 @@ BOOK_DIR=book if [ "$TRAVIS_BRANCH" = master -a "$TRAVIS_PULL_REQUEST" = false ]; then mdbook build ghp-import $BOOK_DIR -fi \ No newline at end of file +else + echo Skipping 'mdbook build' because this is not master or this is just a PR. +fi |