config/cc/gcc.in
branchgcc-4.4
changeset 1393 b432bd628b10
parent 1320 6a7a047551ed
child 1442 e4bb05790f3f
child 1484 c5451809efdb
     1.1 --- a/config/cc/gcc.in	Sun May 03 21:12:26 2009 +0000
     1.2 +++ b/config/cc/gcc.in	Wed May 27 21:16:01 2009 +0000
     1.3 @@ -130,6 +130,7 @@
     1.4  config CC_GCC_4_4_or_later
     1.5      bool
     1.6      default n
     1.7 +    select PPL_CLOOG_MPC
     1.8  
     1.9  config CC_VERSION
    1.10      string