mirror of https://github.com/ARMmbed/mbed-os.git
Merge pull request #12748 from hugueskamba/hk_fix_c_lib_build_failure
Fix build failure due to C lib selectedpull/12808/head
commit
35c93011ea
|
@ -348,12 +348,13 @@ def is_official_target(target_name, version):
|
||||||
("following toolchains: %s" %
|
("following toolchains: %s" %
|
||||||
", ".join(sorted(supported_toolchains)))
|
", ".join(sorted(supported_toolchains)))
|
||||||
|
|
||||||
elif not target.c_lib == 'std':
|
elif target.c_lib not in ['std', 'small']:
|
||||||
result = False
|
result = False
|
||||||
reason = ("Target '%s' must set the " % target.name) + \
|
reason = (
|
||||||
("'c_lib' to 'std' to be included in the ") + \
|
"'target.c_lib' for the '{}' target must be set to 'std' or"
|
||||||
("mbed OS 5.0 official release." + linesep) + \
|
" 'small'.{}"
|
||||||
("Currently it is set to '%s'" % target.c_lib)
|
"It is currently set to '{}'"
|
||||||
|
).format(target.name, linesep, target.c_lib)
|
||||||
|
|
||||||
else:
|
else:
|
||||||
result = False
|
result = False
|
||||||
|
|
Loading…
Reference in New Issue