Add GCC-compatible flags -fprofile-generate and -fprofile-use

[Diego Novillo]

ping?

Thanks.  Diego.

On Wed, Jul 1, 2015 at 7:33 AM, Diego Novillo <dnovillo at google.com> wrote:
> I've updated the frontend and runtime patches based on the discussions
> we had in this thread and IRC.
>
> Thanks.  Diego.