ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Heed filters in macro printing

pull/6580/head
Jimmy Brisson 2018-04-09 09:27:09 -05:00
parent b384834db5
commit c3b9cbe3fd
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tools/get_config.py
View File

@ -74,7 +74,8 @@ if __name__ == '__main__':
print("Macros") print("Macros")
print("------") print("------")
for m in Config.config_macros_to_macros(macros): for m in Config.config_macros_to_macros(macros):
print(m) if any(m.startswith(s) for s in options.prefix):
print(m)
except KeyboardInterrupt as e: except KeyboardInterrupt as e:
print("\n[CTRL+c] exit") print("\n[CTRL+c] exit")