From a4b27c6c3761ef0abd26f2968d2436c84e7be117 Mon Sep 17 00:00:00 2001
From: Pierre Kancir <pierre.kancir.emn@gmail.com>
Date: Fri, 22 Nov 2024 11:11:04 +0100
Subject: [PATCH] Tools: build_ci: disable .profile check on github actions

---
 Tools/scripts/build_ci.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Tools/scripts/build_ci.sh b/Tools/scripts/build_ci.sh
index 0deed90ea8..5872135233 100755
--- a/Tools/scripts/build_ci.sh
+++ b/Tools/scripts/build_ci.sh
@@ -5,7 +5,9 @@
 
 XOLDPWD=$PWD  # profile changes directory :-(
 
-. ~/.profile
+if [ -z "$GITHUB_ACTIONS" ] || [ "$GITHUB_ACTIONS" != "true" ]; then
+  . ~/.profile
+fi
 
 if [ "$CI" = "true" ]; then
   export PIP_ROOT_USER_ACTION=ignore