mirror of
https://github.com/fish-shell/fish-shell.git
synced 2026-05-17 16:11:15 -03:00
7cd7f31a93
I sometimes want to run this script in multiple docker containers concurrently, and possibly modify it while another instance is already running. The behavior after modification is unpredictable; let's change it to read the whole script up-front (like Python/fish do).
55 lines
1.2 KiB
Bash
Executable File
55 lines
1.2 KiB
Bash
Executable File
#!/bin/sh
|
|
|
|
{
|
|
set -ex
|
|
|
|
lint=true
|
|
if [ "$FISH_CHECK_LINT" = false ]; then
|
|
lint=false
|
|
fi
|
|
|
|
cargo_args=$FISH_CHECK_CARGO_ARGS
|
|
target_triple=$FISH_CHECK_TARGET_TRIPLE
|
|
if [ -n "$target_triple" ]; then
|
|
cargo_args="$cargo_args --target=$FISH_CHECK_TARGET_TRIPLE"
|
|
fi
|
|
|
|
cargo() {
|
|
subcmd=$1
|
|
shift
|
|
# shellcheck disable=2086
|
|
command cargo "$subcmd" $cargo_args "$@"
|
|
}
|
|
|
|
cleanup () {
|
|
if [ -n "$template_file" ] && [ -e "$template_file" ]; then
|
|
rm "$template_file"
|
|
fi
|
|
}
|
|
|
|
trap cleanup EXIT INT TERM HUP
|
|
|
|
if $lint; then
|
|
export RUSTFLAGS="--deny=warnings ${RUSTFLAGS}"
|
|
export RUSTDOCFLAGS="--deny=warnings ${RUSTDOCFLAGS}"
|
|
fi
|
|
|
|
repo_root="$(dirname "$0")/.."
|
|
build_dir="${CARGO_TARGET_DIR:-$repo_root/target}/${target_triple}/debug"
|
|
|
|
template_file=$(mktemp)
|
|
FISH_GETTEXT_EXTRACTION_FILE=$template_file cargo build --workspace --all-targets
|
|
if $lint; then
|
|
PATH="$build_dir:$PATH" "$repo_root/build_tools/style.fish" --all --check
|
|
cargo clippy --workspace --all-targets
|
|
fi
|
|
cargo test --no-default-features --workspace --all-targets
|
|
cargo test --doc --workspace
|
|
if $lint; then
|
|
cargo doc --workspace
|
|
fi
|
|
FISH_GETTEXT_EXTRACTION_FILE=$template_file "$repo_root/tests/test_driver.py" "$build_dir"
|
|
|
|
exit
|
|
}
|