only change option key and not its value, which could be case sensitive.

make sure --cmake can be used to pass any cmake not in the path.
This commit is contained in:
Ehsan Azarnasab 2015-08-20 14:28:06 -07:00
parent 9e4fe65c47
commit 93818fd7e4

View File

@ -71,16 +71,17 @@ def _get_options():
# parse commandline options and consume those we care about
for opt_idx, arg in enumerate(sys.argv):
if not arg.startswith('--'):
continue
opt = arg[2:].lower()
if opt_key == 'cmake':
_cmake_path = opt
if opt_key:
sys.argv.remove(arg)
continue
if not arg.startswith('--'):
continue
opt = arg[2:].lower()
if opt == 'cmake':
_cmake_path = None
opt_key = opt