diff --git a/configure.in b/configure.in index af127c049eea1c66d8954debdcf8efde24d32760..b30e87b5c7fffb36580317bea0f6c759a5d44641 100644 --- a/configure.in +++ b/configure.in @@ -842,6 +842,7 @@ check_plugin(sparecode,src/plugins/sparecode, [support for sparecode plugin],yes) plugin_require(sparecode,pdg) plugin_require(sparecode,eva) +plugin_require(sparecode,users) # users #######