diff options
author | gnzlbg <gonzalobg88@gmail.com> | 2019-02-20 17:57:01 +0100 |
---|---|---|
committer | gnzlbg <gonzalobg88@gmail.com> | 2019-02-20 17:57:01 +0100 |
commit | 575fdc8c0db8ed9adeb6d844e51af66770c73a2d (patch) | |
tree | b066975bb49ab5474ad56fe158cb3330b6a76320 /ci/dox.sh | |
parent | 7017701b219e9f545e5359da4669cfdd3185df54 (diff) | |
download | rust-libc-575fdc8c0db8ed9adeb6d844e51af66770c73a2d.tar.gz |
Do not try to build documentation for apple targets from Linux
Diffstat (limited to 'ci/dox.sh')
-rw-r--r-- | ci/dox.sh | 22 |
1 files changed, 16 insertions, 6 deletions
@@ -25,15 +25,25 @@ rm $PLATFORM_SUPPORT || true printf '### Platform-specific documentation\n' >> $PLATFORM_SUPPORT while read -r target; do - echo "documenting ${target}" + echo "documenting ${target}" - rustup target add "${target}" || true - xargo doc --target "${target}" \ - --no-default-features --features extra_traits + case "${target}" in + *apple*) + # FIXME: + # We can't build docs of apple targets from Linux yet. + continue + ;; + *) + ;; + esac - cp -r "target/${target}/doc" "${TARGET_DOC_DIR}/${target}" + rustup target add "${target}" || true + xargo doc --target "${target}" \ + --no-default-features --features extra_traits - echo "* [${target}](${target}/libc/index.html)" >> $PLATFORM_SUPPORT + cp -r "target/${target}/doc" "${TARGET_DOC_DIR}/${target}" + + echo "* [${target}](${target}/libc/index.html)" >> $PLATFORM_SUPPORT done < targets # Replace <div class="platform_support"></div> with the contents of $PLATFORM_SUPPORT |