diff options
| author | Nikos Mavrogiannopoulos <nmav@gnutls.org> | 2003-09-11 18:30:15 +0000 |
|---|---|---|
| committer | Nikos Mavrogiannopoulos <nmav@gnutls.org> | 2003-09-11 18:30:15 +0000 |
| commit | 945667eb0158a7078bcb6ba5d347e9d35021a5d2 (patch) | |
| tree | bcab7b6be5e37fe1a4a2136fb7f56534c14a7c76 /configure.in | |
| parent | 6e13096a346a6d6bc60221e6cf3bdb64f69f4718 (diff) | |
| download | gnutls-945667eb0158a7078bcb6ba5d347e9d35021a5d2.tar.gz | |
cleanups.
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.in b/configure.in index 8bf245eb3c..0e09644cc9 100644 --- a/configure.in +++ b/configure.in @@ -260,7 +260,7 @@ else fi AC_MSG_CHECKING([whether to disable extra PKI stuff]) -AC_ARG_ENABLE( extra-pki, [ --disable-extra-pki only enable the required PKI stuff], +AC_ARG_ENABLE( extra-pki, [ --disable-extra-pki only enable the basic PKI stuff], ac_enable_pki=no ) if test x$ac_enable_pki != xno; then |