mirror of
git://gcc.gnu.org/git/gcc.git
synced 2025-03-26 23:21:23 +08:00
* config/cloog.m4: Add -enable-cloog-backend=(isl|ppl|ppl-legacy) to define the cloog backend to use. Furthermore, only pass the ppllibs to the configure checks, if necessary. *configure: Regenerate. From-SVN: r166684