From c0d98ee718051e876852869180c6217414fd497c Mon Sep 17 00:00:00 2001
From: Paolo Bonzini <bonzini@gnu.org>
Date: Sat, 20 Nov 2010 20:31:09 +0000
Subject: sync toplevel with gcc

---
 configure | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'configure')

diff --git a/configure b/configure
index 28f4c9ff98..847727beb8 100755
--- a/configure
+++ b/configure
@@ -1455,10 +1455,9 @@ Optional Features:
   --enable-libssp         build libssp directory
   --enable-build-with-cxx build with C++ compiler instead of C compiler
   --disable-ppl-version-check    disable check for PPL version
-  --enable-cloog-backend=backend
-				isl: The cloog.org isl backend
-				ppl-legacy: The legacy ppl backend - default
-				ppl: The cloog.org ppl backend
+  --enable-cloog-backend[=BACKEND]
+                          set the CLooG BACKEND used to either isl, ppl or
+                          ppl-legacy (default)
   --disable-cloog-version-check
                           disable check for CLooG version
   --enable-lto            enable link time optimization support
-- 
cgit v1.2.1