Skip to content

Commit 9bd106d

Browse files
committed
add workaround for nightly lint in config docs generator script
1 parent a7b9a1c commit 9bd106d

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

contrib/tools/config-docs-generator/generate-config-docs.sh

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -57,6 +57,12 @@ main() {
5757

5858
cd "$PROJECT_ROOT"
5959

60+
# Workaround for new nightly lint that breaks stacks-common build.
61+
# Allow callers to override or extend, but default to allowing the lint so documentation generation
62+
# stays green until codebase is updated.
63+
# TODO: Remove this once codebase will be updated to use the new lifetime syntax.
64+
export RUSTFLAGS="${RUSTFLAGS:-} -A mismatched-lifetime-syntaxes"
65+
6066
# Step 1: Build the documentation generation tools
6167
if [[ "$SKIP_BUILD" != "true" ]]; then
6268
log_info "Building documentation generation tools..."

0 commit comments

Comments
 (0)