From 7cd7f31a9354a71e50fbf044f09eb93ee3a1c9c1 Mon Sep 17 00:00:00 2001
From: Johannes Altmanninger <aclopte@gmail.com>
Date: Mon, 23 Jun 2025 09:59:49 +0200
Subject: [PATCH] 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).
---
 build_tools/check.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/build_tools/check.sh b/build_tools/check.sh
index 3252f5476..d041e173d 100755
--- a/build_tools/check.sh
+++ b/build_tools/check.sh
@@ -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
+}