diff options
| -rw-r--r-- | config/cc/gcc.in | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/config/cc/gcc.in b/config/cc/gcc.in index e392c805..9b68ac5b 100644 --- a/config/cc/gcc.in +++ b/config/cc/gcc.in @@ -428,8 +428,6 @@ config CC_GCC_USE_GMP_MPFR select GMP_NEEDED select MPFR_NEEDED - select CLOOG_NEEDED - config CC_GCC_USE_MPC bool select MPC_NEEDED |