build_tools/check.sh: ignore modifications to the running script

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).
This commit is contained in:
Johannes Altmanninger
2025-06-23 09:59:49 +02:00
parent 5e12d4e99c
commit 7cd7f31a93

View File

@@ -1,5 +1,6 @@
#!/bin/sh
{
set -ex
lint=true
@@ -48,3 +49,6 @@ if $lint; then
cargo doc --workspace
fi
FISH_GETTEXT_EXTRACTION_FILE=$template_file "$repo_root/tests/test_driver.py" "$build_dir"
exit
}