python build script: option to use a specific mingw path

This commit is contained in:
Andrew Tonner 2017-01-22 17:48:56 -08:00
parent e3fe441709
commit f2238fe3e7

View File

@ -72,6 +72,10 @@ def parse_args():
parser.add_argument("--build", parser.add_argument("--build",
default=None, default=None,
help="Build platform to pass to configure scripts") help="Build platform to pass to configure scripts")
parser.add_argument("--alt-mingw-path",
dest="alt_mingw_path",
default=None,
help="Path to use for mingw install")
return parser.parse_args() return parser.parse_args()
@ -618,8 +622,12 @@ class BuildDepTracker(object):
def main(): def main():
global MINGW_EXTRACT_PATH
options = parse_args() options = parse_args()
if options.alt_mingw_path:
MINGW_EXTRACT_PATH = options.alt_mingw_path
if options.run_shell: if options.run_shell:
run_shell() run_shell()
elif options.run_shell_command is not None: elif options.run_shell_command is not None: