summaryrefslogtreecommitdiff
path: root/ci/dox.sh
diff options
context:
space:
mode:
Diffstat (limited to 'ci/dox.sh')
-rw-r--r--ci/dox.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/ci/dox.sh b/ci/dox.sh
index 4fe0dc5dad..6dd1e4a228 100644
--- a/ci/dox.sh
+++ b/ci/dox.sh
@@ -51,10 +51,10 @@ while read -r target; do
# If cargo doc fails, then try with unstable feature:
if ! cargo doc --target "${target}" \
- --no-default-features --features extra_traits ; then
+ --no-default-features --features const-extern-fn,extra_traits ; then
cargo doc --target "${target}" \
-Z build-std=core,alloc \
- --no-default-features --features extra_traits
+ --no-default-features --features const-extern-fn,extra_traits
fi
mkdir -p "${TARGET_DOC_DIR}/${target}"