[Fwd: [PATCH] Fix bootstrap when no --with-ppl/--with-cloog [was Re: What precisely is the status of ppl/cloog anyway?]]

[Ian Lance Taylor]

Dave Korn <dave.korn.cygwin@googlemail.com> writes:

> ChangeLog
>
> 	* configure.ac ($with_ppl):  Default to no if not supplied.
> 	($with_cloog):  Likewise.

This is OK.

Thanks.

Ian