diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2018-01-23 17:12:26 -0500 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2018-01-23 17:12:26 -0500 |
| commit | e3bca40f952dc507a40295d8281608c5c231ecec (patch) | |
| tree | 5cb5f4cc64011456aebdfa125657e87c719ad066 /src/doc/rustc-dev-guide/ci | |
| parent | 10a1f97d71dce3b4309f99a56167d96888f996e0 (diff) | |
| download | rust-e3bca40f952dc507a40295d8281608c5c231ecec.tar.gz rust-e3bca40f952dc507a40295d8281608c5c231ecec.zip | |
add `-p` flag to `ghp-import` so that it pushes
Diffstat (limited to 'src/doc/rustc-dev-guide/ci')
| -rw-r--r-- | src/doc/rustc-dev-guide/ci/github_pages.sh | 2 |
1 files changed, 1 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 f5dd7898ba3..b0dc26902bf 100644 --- a/src/doc/rustc-dev-guide/ci/github_pages.sh +++ b/src/doc/rustc-dev-guide/ci/github_pages.sh @@ -6,7 +6,7 @@ BOOK_DIR=book # Only upload the built book to github pages if it's a commit to master if [ "$TRAVIS_BRANCH" = master -a "$TRAVIS_PULL_REQUEST" = false ]; then mdbook build - ghp-import $BOOK_DIR + ghp-import -p $BOOK_DIR else echo Skipping 'mdbook build' because this is not master or this is just a PR. fi |