From e9b490ae5e76fec3b6cfbdb435420dc3d89db96b Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Mon, 15 Feb 2021 16:29:13 +0100
Subject: [PATCH] [configure] fix dependency: sparecode requires users

---
 configure.in | 1 +
 1 file changed, 1 insertion(+)

diff --git a/configure.in b/configure.in
index af127c049ee..b30e87b5c7f 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
 #######
-- 
GitLab