diff options
| author | Paolo Bonzini <bonzini@gnu.org> | 2010-11-20 20:31:09 +0000 |
|---|---|---|
| committer | Paolo Bonzini <bonzini@gnu.org> | 2010-11-20 20:31:09 +0000 |
| commit | 3bdfa178f9adcd5c17982beabd2ce29bb95ac406 (patch) | |
| tree | b38a3c1d4cb8951e0474cb8b8f499567131e1124 /configure | |
| parent | 9fddf5efe24f5845290b57e9f5d7c6fc18cccfc8 (diff) | |
| download | gdb-3bdfa178f9adcd5c17982beabd2ce29bb95ac406.tar.gz | |
sync toplevel with gcc
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/configure b/configure index 28f4c9ff986..847727beb86 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 |