Description
When doing parallel builds (make -j <n> where <n> is the number of parallel jobs) PlatformSupport is sometimes built before Utils. This causes the build to fail, as LocalMsgIndex.hpp (required by PlatformSupport and generated by make -C Utils) is missing.