diff --git a/Tools/scripts/build_ci.sh b/Tools/scripts/build_ci.sh index 8ae380a259..0deed90ea8 100755 --- a/Tools/scripts/build_ci.sh +++ b/Tools/scripts/build_ci.sh @@ -7,6 +7,10 @@ XOLDPWD=$PWD # profile changes directory :-( . ~/.profile +if [ "$CI" = "true" ]; then + export PIP_ROOT_USER_ACTION=ignore +fi + cd $XOLDPWD set -ex