From aebd9810f92514c52bf1f788c48ffa5b1f7dd1c6 Mon Sep 17 00:00:00 2001 From: Michael Bartling Date: Thu, 30 Mar 2017 11:22:42 -0500 Subject: [PATCH] make.py -S toolchains now just prints the toolchains, no more mbed OS x --- tools/make.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/tools/make.py b/tools/make.py index 64c5d11384..8822e34878 100644 --- a/tools/make.py +++ b/tools/make.py @@ -189,7 +189,11 @@ if __name__ == '__main__': if options.supported_toolchains == "matrix": print mcu_toolchain_matrix(platform_filter=options.general_filter_regex) elif options.supported_toolchains == "toolchains": - print mcu_toolchain_list() + toolchain_list = mcu_toolchain_list() + # Only print the lines that matter + for line in toolchain_list.split("\n"): + if not "mbed" in line: + print line elif options.supported_toolchains == "targets": print mcu_target_list() exit(0)