From b24b1f66a188418356b96ce6f9edb702e122472e Mon Sep 17 00:00:00 2001 From: Rojer-X86 Date: Wed, 26 Jun 2019 18:09:33 +0300 Subject: [PATCH] Removed option for get_config.py get_config.py does't support "profile" option --- mbed/mbed.py | 1 - 1 file changed, 1 deletion(-) diff --git a/mbed/mbed.py b/mbed/mbed.py index 70cc1fff..396f752b 100755 --- a/mbed/mbed.py +++ b/mbed/mbed.py @@ -2725,7 +2725,6 @@ def compile_(toolchain=None, target=None, macro=False, profile=False, # Compile configuration popen([python_cmd, os.path.join(tools_dir, 'get_config.py')] + ['-t', tchain, '-m', target] - + list(chain.from_iterable(zip(repeat('--profile'), profile or []))) + list(chain.from_iterable(zip(repeat('--source'), source))) + (['-v'] if verbose else []) + (list(chain.from_iterable(zip(repeat('--prefix'), config_prefix))) if config_prefix else []),