@@ -607,6 +607,7 @@ def build_library(src_paths, build_path, target, toolchain_name,
607607 src_paths , build_path , target , toolchain_name , macros = macros ,
608608 clean = clean , jobs = jobs , notify = notify , app_config = app_config ,
609609 build_profile = build_profile , ignore = ignore )
610+ toolchain .version_check ()
610611
611612 # The first path will give the name to the library
612613 if name is None :
@@ -781,6 +782,7 @@ def build_lib(lib_id, target, toolchain_name, clean=False, macros=None,
781782 src_paths , tmp_path , target , toolchain_name , macros = macros ,
782783 notify = notify , build_profile = build_profile , jobs = jobs , clean = clean ,
783784 ignore = ignore )
785+ toolchain .version_check ()
784786
785787 notify .info ("Building library %s (%s, %s)" %
786788 (name .upper (), target .name , toolchain_name ))
@@ -925,6 +927,7 @@ def build_mbed_libs(target, toolchain_name, clean=False, macros=None,
925927 toolchain = prepare_toolchain (
926928 ["" ], tmp_path , target , toolchain_name , macros = macros , notify = notify ,
927929 build_profile = build_profile , jobs = jobs , clean = clean , ignore = ignore )
930+ toolchain .version_check ()
928931
929932 config = toolchain .config
930933 config .add_config_files ([MBED_CONFIG_FILE ])
0 commit comments