> On Feb 18, 2016, at 9:31 AM, Andrew Bell <andrew.bell.ia at gmail.com> wrote: > > Maybe we should always run with all the options, but both GCC and > Clang? Or can we schedule a run, say, once a day that used the other > compiler? It is simple to change it back.