diff options
author | Tim Rühsen <tim.ruehsen@gmx.de> | 2019-05-09 08:50:26 +0000 |
---|---|---|
committer | Tim Rühsen <tim.ruehsen@gmx.de> | 2019-05-09 08:50:26 +0000 |
commit | 9509af0e791b74538de8ffa8dd0d47c05cb08eed (patch) | |
tree | a605b396edca4361b29540af5b66a31c9e5a4861 | |
parent | 664fc06c44301eb811a28b444f35dd8e3c688dea (diff) | |
parent | a6617fdc9aa4f080e8aaed554926c4677cc303d4 (diff) | |
download | gnutls-9509af0e791b74538de8ffa8dd0d47c05cb08eed.tar.gz |
Merge branch 'fix-guile-option' into 'master'
guile: Properly format guile configure options
See merge request gnutls/gnutls!991
-rw-r--r-- | configure.ac | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/configure.ac b/configure.ac index 8ad597bfd3..3d4589e02b 100644 --- a/configure.ac +++ b/configure.ac @@ -831,13 +831,13 @@ AC_ARG_ENABLE(guile, [opt_guile_bindings=$enableval], [opt_guile_bindings=yes]) AC_MSG_RESULT($opt_guile_bindings) -AC_ARG_WITH(guile-site-dir, AS_HELP_STRING([--with-guile-site-dir=DIR], +AC_ARG_WITH([guile-site-dir], AS_HELP_STRING([--with-guile-site-dir=DIR], [guile site directory for gnutls, default is guile system settings]), [guilesitedir="${withval}"], [guilesitedir='$(GUILE_SITE)']) -AC_ARG_WITH(guile-site-ccache-dir, AS_HELP_STRING([--with-guile-site-ccache-dir=DIR], +AC_ARG_WITH([guile-site-ccache-dir], AS_HELP_STRING([--with-guile-site-ccache-dir=DIR], [guile ccache directory for gnutls, default is guile system settings]), [guilesiteccachedir="${withval}"], [guilesiteccachedir='$(GUILE_SITE_CCACHE)']) -AC_ARG_WITH(guile-extension-dir, AS_HELP_STRING([--with-guile-extension-dir=DIR], +AC_ARG_WITH([guile-extension-dir], AS_HELP_STRING([--with-guile-extension-dir=DIR], [guile extension directory for gnutls, default is guile system settings]), [guileextensiondir="${withval}"], [guileextensiondir='$(GUILE_EXTENSION)']) AC_SUBST([guilesitedir]) |