config/cc/gcc.in
changeset 3232 c500e2df7952
parent 3228 8b9af6488210
child 3244 8ff20760e93b
     1.1 --- a/config/cc/gcc.in	Mon Jul 29 00:06:35 2013 +0200
     1.2 +++ b/config/cc/gcc.in	Mon Sep 30 00:21:36 2013 +0200
     1.3 @@ -428,8 +428,6 @@
     1.4      select GMP_NEEDED
     1.5      select MPFR_NEEDED
     1.6  
     1.7 -    select CLOOG_NEEDED
     1.8 -
     1.9  config CC_GCC_USE_MPC
    1.10      bool
    1.11      select MPC_NEEDED