2025-04-24 00:38:30 +02:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
|
|
set -e
|
2020-11-21 13:55:15 -08:00
|
|
|
|
|
|
|
|
# This script is copied into the root directory of our Docker tests.
|
|
|
|
|
# It is the entry point for running Docker-based tests.
|
|
|
|
|
|
2025-06-23 09:59:49 +02:00
|
|
|
echo build_tools/check.sh >>~/.bash_history
|
|
|
|
|
|
2025-06-19 12:00:43 +02:00
|
|
|
cd /fish-source
|
2024-04-28 10:27:29 +02:00
|
|
|
git config --global --add safe.directory /fish-source
|
2025-06-19 12:00:43 +02:00
|
|
|
|
|
|
|
|
export CARGO_TARGET_DIR="$HOME"/fish-build
|
|
|
|
|
|
|
|
|
|
interactive_shell() {
|
|
|
|
|
echo
|
|
|
|
|
echo "+ export=CARGO_TARGET_DIR=$CARGO_TARGET_DIR"
|
|
|
|
|
echo
|
|
|
|
|
bash -i
|
|
|
|
|
}
|
2020-11-21 13:55:15 -08:00
|
|
|
|
|
|
|
|
# Spawn a shell if FISH_RUN_SHELL_BEFORE_TESTS is set.
|
|
|
|
|
if test -n "$FISH_RUN_SHELL_BEFORE_TESTS"
|
|
|
|
|
then
|
2025-06-19 12:00:43 +02:00
|
|
|
interactive_shell
|
2020-11-21 13:55:15 -08:00
|
|
|
fi
|
|
|
|
|
|
2025-06-19 13:36:33 +02:00
|
|
|
set +e
|
2025-06-19 12:00:43 +02:00
|
|
|
build_tools/check.sh
|
2022-10-23 10:13:52 -07:00
|
|
|
RES=$?
|
2025-06-19 13:36:33 +02:00
|
|
|
set -e
|
2020-11-21 13:55:15 -08:00
|
|
|
|
|
|
|
|
# Drop the user into a shell if FISH_RUN_SHELL_AFTER_TESTS is set.
|
2022-10-23 10:13:52 -07:00
|
|
|
if test -n "$FISH_RUN_SHELL_AFTER_TESTS"; then
|
2025-06-19 12:00:43 +02:00
|
|
|
interactive_shell
|
2022-10-23 10:13:52 -07:00
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
exit $RES
|