diff options
author | Paolo Bonzini <bonzini@gnu.org> | 2010-11-20 20:31:10 +0000 |
---|---|---|
committer | Paolo Bonzini <bonzini@gnu.org> | 2010-11-20 20:31:10 +0000 |
commit | ceca02181819391697a61a8190ec2c9a8f042b1c (patch) | |
tree | ab6aa1c95317de5d009433de0d706fd9941bd1e5 /configure | |
parent | 9b980aa1edeb440c40b001070e82a5461ac15d18 (diff) | |
download | gdb-ceca02181819391697a61a8190ec2c9a8f042b1c.zip gdb-ceca02181819391697a61a8190ec2c9a8f042b1c.tar.gz gdb-ceca02181819391697a61a8190ec2c9a8f042b1c.tar.bz2 |
sync toplevel with gcc
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 7 |
1 files changed, 3 insertions, 4 deletions
@@ -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 |