Style fix

benedikt-schesch · May 7, 2024 · 5a3d387 · 5a3d387
1 parent a7652be
commit 5a3d387
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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