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

Remove needless _exit call

pull/6697/head
Jimmy Brisson 2018-04-09 09:25:18 -05:00 committed by adbridge
parent 3617101154
commit 7b1cb6ddba
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/get_config.py
View File

@ -59,7 +59,7 @@ if __name__ == '__main__':
params, macros, features = get_config(options.source_dir, target, toolchain) params, macros, features = get_config(options.source_dir, target, toolchain)
if not params and not macros: if not params and not macros:
print("No configuration data available.") print("No configuration data available.")
_exit(0) sys.exit(0)
if params: if params:
print("Configuration parameters") print("Configuration parameters")
print("------------------------") print("------------------------")