From: Tuncer Ayaz <tuncer.ayaz@gmail.com>
Date: Sat, 12 Jul 2014 08:53:47 GMT
Subject: Re: 745224e0 gcc-4.9 emmintrin.h build error
Message-ID: <CAOvwQ4gEeTS4o6dEUczq+tnS3HePbab-=NpWWA1Z5tkNTjMxfQ@mail.gmail.com>
In-Reply-To: <20140712045616.GA14459@sigill.intra.peff.net>

On Sat, Jul 12, 2014 at 6:56 AM, Jeff King wrote:

> I think none of the regular devs uses PROFILE, and it bit-rotted

By the way, is there no build (CI) server for git.git to regularly
test branches on different platforms or at least different build
configs on the same platform?