Preventing a traceback when a library is not built during export#2166

sg- merged 1 commit intoARMmbed:masterARMmbed/mbed-os:masterfrom

theotherjimmy:prevent-traceback-during-exporttheotherjimmy/mbed:prevent-traceback-during-exportCopy head branch name to clipboard