@@ -607,6 +607,7 @@ def build_library(src_paths, build_path, target, toolchain_name,
607
607
src_paths , build_path , target , toolchain_name , macros = macros ,
608
608
clean = clean , jobs = jobs , notify = notify , app_config = app_config ,
609
609
build_profile = build_profile , ignore = ignore )
610
+ toolchain .version_check ()
610
611
611
612
# The first path will give the name to the library
612
613
if name is None :
@@ -781,6 +782,7 @@ def build_lib(lib_id, target, toolchain_name, clean=False, macros=None,
781
782
src_paths , tmp_path , target , toolchain_name , macros = macros ,
782
783
notify = notify , build_profile = build_profile , jobs = jobs , clean = clean ,
783
784
ignore = ignore )
785
+ toolchain .version_check ()
784
786
785
787
notify .info ("Building library %s (%s, %s)" %
786
788
(name .upper (), target .name , toolchain_name ))
@@ -925,6 +927,7 @@ def build_mbed_libs(target, toolchain_name, clean=False, macros=None,
925
927
toolchain = prepare_toolchain (
926
928
["" ], tmp_path , target , toolchain_name , macros = macros , notify = notify ,
927
929
build_profile = build_profile , jobs = jobs , clean = clean , ignore = ignore )
930
+ toolchain .version_check ()
928
931
929
932
config = toolchain .config
930
933
config .add_config_files ([MBED_CONFIG_FILE ])
0 commit comments