diff options
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/configure.in b/configure.in index db61ae46d..c06973374 100644 --- a/configure.in +++ b/configure.in @@ -776,10 +776,6 @@ dnl ========================= dnl dependency calculation dnl ========================= -if test x$pluto = xtrue; then - gmp=true; -fi - if test x$tools = xtrue; then gmp=true; fi |