[PATCH] Remove warning while compiling with CLooG isl

[Paolo Bonzini]

On 11/12/2010 10:13 PM, Jack Howarth wrote:
>     I am puzzled by the objections expressed about 'switching the backends' in the
> current configure changes.

There's no objection to switching the backends, only to having automatic 
detection of backends so that the same configure command-line can give 
different assembly language.

In my approval to Tabis's patches, in fact, I preapproved committing the 
patch with isl active.

Paolo