mirror of
git://gcc.gnu.org/git/gcc.git
synced 2025-04-10 08:50:36 +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