aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorPaolo Bonzini <bonzini@gnu.org>2010-11-20 20:31:10 +0000
committerPaolo Bonzini <bonzini@gnu.org>2010-11-20 20:31:10 +0000
commitceca02181819391697a61a8190ec2c9a8f042b1c (patch)
treeab6aa1c95317de5d009433de0d706fd9941bd1e5 /configure
parent9b980aa1edeb440c40b001070e82a5461ac15d18 (diff)
downloadgdb-ceca02181819391697a61a8190ec2c9a8f042b1c.zip
gdb-ceca02181819391697a61a8190ec2c9a8f042b1c.tar.gz
gdb-ceca02181819391697a61a8190ec2c9a8f042b1c.tar.bz2
sync toplevel with gcc
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure7
1 files changed, 3 insertions, 4 deletions
diff --git a/configure b/configure
index 28f4c9f..847727b 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