diff --git a/bob/devtools/scripts/build.py b/bob/devtools/scripts/build.py index 47226be8555031d67e99d78e1d58fbadaef9c6a2..cc5f08a3f3d5029e4e96a3e45a0cc23558c004a2 100644 --- a/bob/devtools/scripts/build.py +++ b/bob/devtools/scripts/build.py @@ -250,9 +250,9 @@ def build( # If in docker, install the packages inside the yum_requirements.txt file if it exists yum_requirements_file = os.path.join(d, "yum_requirements.txt") - if "docker" in os.environ.get("CI_RUNNER_TAGS", "") and os.path.exists( - yum_requirements_file - ): + if "docker" in os.environ.get("CI_RUNNER_TAGS", "").split( + ", " + ) and os.path.exists(yum_requirements_file): logger.info( "Installing packages from yum_requirements.txt file using yum" )