diff options
author | gnzlbg <gonzalobg88@gmail.com> | 2019-02-20 18:42:34 +0100 |
---|---|---|
committer | gnzlbg <gonzalobg88@gmail.com> | 2019-02-20 18:42:34 +0100 |
commit | a25a42be76f1e5fb1b86c115b5665a9743076c4d (patch) | |
tree | 2b5799558a86b4ca7f45671f249207dc7729c030 /ci/dox.sh | |
parent | 575fdc8c0db8ed9adeb6d844e51af66770c73a2d (diff) | |
download | rust-libc-a25a42be76f1e5fb1b86c115b5665a9743076c4d.tar.gz |
Speed up documentation build by using cargo when possible
Diffstat (limited to 'ci/dox.sh')
-rw-r--r-- | ci/dox.sh | 9 |
1 files changed, 7 insertions, 2 deletions
@@ -38,8 +38,13 @@ while read -r target; do esac rustup target add "${target}" || true - xargo doc --target "${target}" \ - --no-default-features --features extra_traits + + # If cargo doc fails, then try xargo: + if ! cargo doc --target "${target}" \ + --no-default-features --features extra_traits ; then + xargo doc --target "${target}" \ + --no-default-features --features extra_traits + fi cp -r "target/${target}/doc" "${TARGET_DOC_DIR}/${target}" |