diff options
| author | Dave Korn <dave.korn.cygwin@gmail.com> | 2009-05-07 05:23:16 +0000 |
|---|---|---|
| committer | Dave Korn <davek@gcc.gnu.org> | 2009-05-07 05:23:16 +0000 |
| commit | 0b70eafda5634fab60597ef104e258dff3aa2404 (patch) | |
| tree | f07aa54f0307c08ce5e4a8838c5790c809f75aac /configure | |
| parent | 585be9ef56d32182cee74066471de3aa5036855e (diff) | |
| download | gcc-0b70eafda5634fab60597ef104e258dff3aa2404.zip gcc-0b70eafda5634fab60597ef104e258dff3aa2404.tar.gz gcc-0b70eafda5634fab60597ef104e258dff3aa2404.tar.bz2 | |
configure.ac ($with_ppl): Default to no if not supplied.
* configure.ac ($with_ppl): Default to no if not supplied.
($with_cloog): Likewise.
configure: Regenerate.
From-SVN: r147216
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -4843,6 +4843,8 @@ pplinc= if test "${with_ppl+set}" = set; then withval="$with_ppl" +else + with_ppl=no fi; # Check whether --with-ppl_include or --without-ppl_include was given. @@ -4961,6 +4963,8 @@ clooginc=" -DCLOOG_PPL_BACKEND " if test "${with_cloog+set}" = set; then withval="$with_cloog" +else + with_cloog=no fi; # Check whether --with-cloog_include or --without-cloog_include was given. |