mirror of https://github.com/ARMmbed/mbed-os.git
Eliminate silent option from build_project
It's now all handled by the notifierpull/6781/head
parent
56ec4677b5
commit
85e33b4143
|
@ -484,7 +484,7 @@ def scan_resources(src_paths, toolchain, dependencies_paths=None,
|
|||
return resources
|
||||
|
||||
def build_project(src_paths, build_path, target, toolchain_name,
|
||||
libraries_paths=None, linker_script=None, clean=False, silent=False,
|
||||
libraries_paths=None, linker_script=None, clean=False,
|
||||
notify=None, name=None, macros=None, inc_dirs=None, jobs=1,
|
||||
report=None, properties=None, project_id=None,
|
||||
project_description=None, config=None,
|
||||
|
@ -583,9 +583,7 @@ def build_project(src_paths, build_path, target, toolchain_name,
|
|||
if memap_instance:
|
||||
# Write output to stdout in text (pretty table) format
|
||||
memap_table = memap_instance.generate_output('table', stats_depth)
|
||||
|
||||
if not silent:
|
||||
print(memap_table)
|
||||
notify.info(memap_table)
|
||||
|
||||
# Write output to file in JSON format
|
||||
map_out = join(build_path, name + "_map.json")
|
||||
|
|
|
@ -276,7 +276,6 @@ if __name__ == '__main__':
|
|||
linker_script=options.linker_script,
|
||||
clean=options.clean,
|
||||
notify=notify,
|
||||
silent=options.silent,
|
||||
report=build_data_blob,
|
||||
macros=options.macros,
|
||||
jobs=options.jobs,
|
||||
|
|
Loading…
Reference in New Issue