From cac3d0ef163e08d813cb18850ddeeeb98570afd4 Mon Sep 17 00:00:00 2001
From: Daniel Rainer <daniel.rainer@localhost>
Date: Sat, 7 Jun 2025 20:21:29 +0200
Subject: [PATCH] Build before running `style.fish`

This makes the latest versions of fish_indent (and fish) available to
`style.fish`.
---
 build_tools/check.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/build_tools/check.sh b/build_tools/check.sh
index fbae263f6..e1be44e54 100755
--- a/build_tools/check.sh
+++ b/build_tools/check.sh
@@ -8,9 +8,8 @@ RUSTDOCFLAGS='-D warnings'; export RUSTDOCFLAGS
 repo_root="$(dirname "$0")/.."
 build_dir="$repo_root/target/debug"
 
-PATH="$build_dir:$PATH" "$repo_root/build_tools/style.fish" --all --check
-
 cargo build --workspace --all-targets
+PATH="$build_dir:$PATH" "$repo_root/build_tools/style.fish" --all --check
 cargo clippy --workspace --all-targets
 cargo test --no-default-features --workspace --all-targets
 cargo test --doc --workspace