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

[PROJECT.py] removed the sys.exit() after cleaning

pull/563/head
Olaf Hagendorf 2014-10-16 12:45:46 +02:00
parent 0791533ef2
commit f6117f8daf
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
workspace_tools/project.py
View File

@ -56,13 +56,11 @@ if __name__ == '__main__':
if options.list_tests is True: if options.list_tests is True:
print '\n'.join(map(str, sorted(TEST_MAP.values()))) print '\n'.join(map(str, sorted(TEST_MAP.values())))
sys.exit() sys.exit()
# Clean Export Directory # Clean Export Directory
if options.clean: if options.clean:
if exists(EXPORT_DIR): if exists(EXPORT_DIR):
rmtree(EXPORT_DIR) rmtree(EXPORT_DIR)
sys.exit()
# Target # Target
if options.mcu is None : if options.mcu is None :