Avoid incorrect config errors on export with many --source#6428

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

theotherjimmy:many-source-exporttheotherjimmy/mbed:many-source-exportCopy head branch name to clipboard