From a2cd5d441ea661bedfaca967e08f0ba584a4059d Mon Sep 17 00:00:00 2001 From: Ehsan Azarnasab Date: Wed, 19 Aug 2015 16:49:45 -0700 Subject: [PATCH] remove used options from argv --- tools/python/setup.py | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/tools/python/setup.py b/tools/python/setup.py index eddbd75b5..84e713007 100644 --- a/tools/python/setup.py +++ b/tools/python/setup.py @@ -59,7 +59,12 @@ script_dir = os.getcwd() cmake_path = find_executable("cmake") cmake_extra = [] cmake_config = 'Release' -options = [arg[2:].lower() for arg in sys.argv if arg.startswith('--')] + +options = [] +for arg in sys.argv: + if arg.startswith('--'): + sys.argv.remove(arg) + options.append(arg[2:].lower()) opt_key = None # parse commandline options