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 /config/cloog.m4 | |
| parent | 9fddf5efe24f5845290b57e9f5d7c6fc18cccfc8 (diff) | |
| download | gdb-3bdfa178f9adcd5c17982beabd2ce29bb95ac406.tar.gz | |
sync toplevel with gcc
Diffstat (limited to 'config/cloog.m4')
| -rw-r--r-- | config/cloog.m4 | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/config/cloog.m4 b/config/cloog.m4 index 96ebd4d134b..e1eb9e83601 100644 --- a/config/cloog.m4 +++ b/config/cloog.m4 @@ -38,10 +38,9 @@ AC_DEFUN([CLOOG_INIT_FLAGS], [Specify the directory for the installed CLooG library])]) AC_ARG_ENABLE(cloog-backend, - [ --enable-cloog-backend[=backend] - isl: The cloog.org isl backend - ppl-legacy: The legacy ppl backend - default - ppl: The cloog.org ppl backend], + [AS_HELP_STRING( + [--enable-cloog-backend[[=BACKEND]]], + [set the CLooG BACKEND used to either isl, ppl or ppl-legacy (default)])], [ if test "x${enableval}" = "xisl"; then cloog_backend=isl elif test "x${enableval}" = "xppl"; then |