Re: [OS-BUILD PATCHv2] redhat/configs: create a separate config for gcov options