diff --git a/bob/devtools/scripts/build.py b/bob/devtools/scripts/build.py index a8f674aff1dc06e93a7357ac97e39775a431e66d..13f91d32284c69ba94cdcd0234ea673bce9b40e2 100644 --- a/bob/devtools/scripts/build.py +++ b/bob/devtools/scripts/build.py @@ -247,11 +247,12 @@ def build( if not os.path.exists(d): raise RuntimeError("The directory %s does not exist" % d) - # If in docker, install the packages inside the yum_requirements.txt file if it exists + # If using RH based image/runner, 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", "").split( - ", " - ) and os.path.exists(yum_requirements_file): + if os.path.exists("/usr/bin/yum") and os.path.exists( + yum_requirements_file + ): logger.info( "Installing packages from yum_requirements.txt file using yum" )