diff options
| author | davek <davek@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-05-07 05:23:16 +0000 |
|---|---|---|
| committer | davek <davek@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-05-07 05:23:16 +0000 |
| commit | 63d7f4db8d020cc4add7f8f627f8d72073349a4d (patch) | |
| tree | f07aa54f0307c08ce5e4a8838c5790c809f75aac /configure | |
| parent | d00c05f3a5c6c941008c1464bd63322c3ffa57cc (diff) | |
| download | gcc-63d7f4db8d020cc4add7f8f627f8d72073349a4d.tar.gz | |
* configure.ac ($with_ppl): Default to no if not supplied.
($with_cloog): Likewise.
configure: Regenerate.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@147216 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/configure b/configure index 45d85c98bd9..dd525c807ba 100755 --- a/configure +++ b/configure @@ -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. |