diff options
Diffstat (limited to 'build_files')
-rw-r--r-- | build_files/buildbot/buildbot_utils.py | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/build_files/buildbot/buildbot_utils.py b/build_files/buildbot/buildbot_utils.py index eded6646671..b99fab78827 100644 --- a/build_files/buildbot/buildbot_utils.py +++ b/build_files/buildbot/buildbot_utils.py @@ -24,6 +24,14 @@ import re import subprocess import sys +def is_tool(name): + """Check whether `name` is on PATH and marked as executable.""" + + # from whichcraft import which + from shutil import which + + return which(name) is not None + class Builder: def __init__(self, name, branch): self.name = name @@ -42,7 +50,10 @@ class Builder: self.command_prefix = [] elif name.startswith('linux'): self.platform = 'linux' - self.command_prefix = ['scl', 'enable', 'devtoolset-6', '--'] + if is_tool('scl'): + self.command_prefix = ['scl', 'enable', 'devtoolset-6', '--'] + else: + self.command_prefix = [] elif name.startswith('win'): self.platform = 'win' self.command_prefix = [] |