fix buglet.

This commit is contained in:
Vitor Santos Costa 2011-08-08 08:08:53 -03:00
parent bdeea3b15e
commit a4ff34476b
2 changed files with 444 additions and 445 deletions

887
configure vendored

File diff suppressed because it is too large Load Diff

View File

@ -198,7 +198,7 @@ AC_ARG_WITH(cudd,
[yap_cv_cudd=no])
AC_ARG_ENABLE(myddas,
v [ --enable-myddas[[=DIR]] enable the MYDDAS library],
[ --enable-myddas[[=DIR]] enable the MYDDAS library],
if test "$enableval" = yes; then
yap_cv_myddas=/usr
elif test "$enableval" = no; then