fix --with-gmp to correctly handle situation when $withval=yes
authorLubomir Sedlacik <salo@silcnet.org>
Sat, 9 Nov 2002 17:00:27 +0000 (17:00 +0000)
committerLubomir Sedlacik <salo@silcnet.org>
Sat, 9 Nov 2002 17:00:27 +0000 (17:00 +0000)
commit72557993ed3b5b8fbf6b3af83a02e793fa0c5ab3
tree3ee6e6be7bf4a08853927fcfbc5ca3ccf14580fc
parent0ca188e4e77405eea6edd1a012e84cd243c237f9
fix --with-gmp to correctly handle situation when $withval=yes
configure.in.pre