diff options
author | Daniel Salzman <daniel.salzman@nic.cz> | 2018-02-10 22:52:35 +0100 |
---|---|---|
committer | Daniel Salzman <daniel.salzman@nic.cz> | 2018-02-10 22:52:35 +0100 |
commit | d5d4e757133bbaf4e0b5e4d27738ba626fa9ca5c (patch) | |
tree | 769280615251219e58364a739cd96ac470d6fc1b /m4 | |
parent | tests/contrib: fixed time printing unit test (diff) | |
download | knot-d5d4e757133bbaf4e0b5e4d27738ba626fa9ca5c.tar.xz knot-d5d4e757133bbaf4e0b5e4d27738ba626fa9ca5c.zip |
configure: add --disable-modules option
Diffstat (limited to 'm4')
-rw-r--r-- | m4/knot-module.m4 | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/m4/knot-module.m4 b/m4/knot-module.m4 index 4fdc06ec0..5893830cf 100644 --- a/m4/knot-module.m4 +++ b/m4/knot-module.m4 @@ -7,7 +7,10 @@ AC_DEFUN([KNOT_MODULE], AC_ARG_WITH([module-$1], AS_HELP_STRING([--with-module-$1=yes|shared|no], [Build '$1' module [default=$2]]), [module=$withval], - [module=$2] + AS_IF([test "$enable_modules" = "no"], + [module=no], + [module=$2] + ) ) doc_modules="${doc_modules}.. include:: modules/$1/$1.rst\n" |