From 5a3d387e7f153347769e2398b09e616d9cdc2487 Mon Sep 17 00:00:00 2001
From: Benedikt Schesch <b.schesch@gmail.com>
Date: Mon, 6 May 2024 17:59:04 -0700
Subject: [PATCH] Style fix

---
 run.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/run.sh b/run.sh
index 649dc5cf9f..df3dc94cef 100755
--- a/run.sh
+++ b/run.sh
@@ -55,7 +55,8 @@ done
 PATH=$(pwd)/src/scripts/merge_tools/:$PATH
 export PATH
 
-export GIT_CONFIG_GLOBAL=$(pwd)/blanck_git_config.config
+GIT_CONFIG_GLOBAL=$(pwd)/blanck_git_config.config
+export GIT_CONFIG_GLOBAL
 if git config --list --show-origin | grep 'file:'"$GIT_CONFIG_GLOBAL" > /dev/null; then
     echo "Error: Global config is not empty"
     exit 1