From ffff4b5dc57c32bf759b705530c1368de4aa787e Mon Sep 17 00:00:00 2001
From: MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz>
Date: Wed, 19 Jul 2023 11:22:12 +0200
Subject: [PATCH] lint: Add missing `set -ex` to ci/lint/06_script.sh

This is needed for the container-entrypoint.sh

Also, remove unused `source` from ci/lint_run_all.sh, since it is the
last step.
---
 ci/lint/06_script.sh | 2 ++
 ci/lint_run_all.sh   | 3 ++-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/ci/lint/06_script.sh b/ci/lint/06_script.sh
index fa28f6126c5..ccde12a0337 100755
--- a/ci/lint/06_script.sh
+++ b/ci/lint/06_script.sh
@@ -6,6 +6,8 @@
 
 export LC_ALL=C
 
+set -ex
+
 if [ -n "$LOCAL_BRANCH" ]; then
   # To faithfully recreate CI linting locally, specify all commits on the current
   # branch.
diff --git a/ci/lint_run_all.sh b/ci/lint_run_all.sh
index 7adfe716741..b56ee0d303f 100755
--- a/ci/lint_run_all.sh
+++ b/ci/lint_run_all.sh
@@ -8,4 +8,5 @@ export LC_ALL=C.UTF-8
 
 set -o errexit; source ./ci/test/00_setup_env.sh
 set -o errexit; source ./ci/lint/04_install.sh
-set -o errexit; source ./ci/lint/06_script.sh
+set -o errexit
+./ci/lint/06_script.sh