Camillo Lugaresi b82b8d7af3 Use python3 if available to run gen_git_source.py. ... gen_git_source.py fails with an "ImportError: No module named builtins" on a default installation of Python 2 (at least, the one that comes with macOS). This can be worked around by installing the "future" package from pip. However, instead of requiring users to go through this extra step, we can simply run the script using Python 3 if it's installed. The script works on a default installation of Python 3, without requiring extra packages.		2019-08-19 16:30:42 -07:00
..
BUILD
BUILD.tpl
git_configure.bzl	Use python3 if available to run gen_git_source.py.	2019-08-19 16:30:42 -07:00