diff --git a/configure b/configure index ac51638da8..1e4cb4b3dd 100755 --- a/configure +++ b/configure @@ -1357,7 +1357,9 @@ def get_bin_override(): # sys.executable. This directory will be prefixed to the PATH, so that # other tools that shell out to `python` will use the appropriate python - if os.path.realpath(which('python')) == os.path.realpath(sys.executable): + which_python = which('python') + if (which_python and + os.path.realpath(which_python) == os.path.realpath(sys.executable)): return bin_override = os.path.abspath('out/tools/bin')