Merge changes from github.
Change: 135698415
diff --git a/util/python/python_config.sh b/util/python/python_config.sh
index c326033..d75a4d6 100755
--- a/util/python/python_config.sh
+++ b/util/python/python_config.sh
@@ -46,7 +46,7 @@
}
function python_path {
- python - <<END
+ $PYTHON_BIN_PATH - <<END
from __future__ import print_function
import site
import os
@@ -80,7 +80,7 @@
}
function default_python_path {
- PYTHON_ARG="$1" python - <<END
+ PYTHON_ARG="$1" $PYTHON_BIN_PATH - <<END
from __future__ import print_function
import os