diff options
-rw-r--r-- | ci/build.sh | 4 | ||||
-rw-r--r-- | ci/dox.sh | 9 |
2 files changed, 10 insertions, 3 deletions
diff --git a/ci/build.sh b/ci/build.sh index 78c65be971..74727a3313 100644 --- a/ci/build.sh +++ b/ci/build.sh @@ -32,7 +32,9 @@ test_target() { n=0 until [ $n -ge $N ] do - rustup target add "${TARGET}" --toolchain "${RUST}" && break + if rustup target add "${TARGET}" --toolchain "${RUST}" ; then + break + fi n=$((n+1)) sleep 1 done @@ -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}" |