pluto does not depend on gmp anymore

2009-06-16 14:47:07 +02:00
parent 62d6da67dd
commit 9c9a110130
1 changed files with 0 additions and 4 deletions
@@ -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