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