From cd8e18ad94933f927ef7c453f7a1102f4e60fa8a Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Wed, 31 Mar 2021 02:59:35 +0200
Subject: linux: Add option to disable Linux groups

* linux/configfrag.ac (--disable-linux-groups): New option.
(AC_OPTION_Linux_group): Default to $enable_linux_groups.
---
 linux/configfrag.ac | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'linux')

diff --git a/linux/configfrag.ac b/linux/configfrag.ac
index cddbc1bb..c851e563 100644
--- a/linux/configfrag.ac
+++ b/linux/configfrag.ac
@@ -52,9 +52,13 @@ dnl USE OF THIS SOFTWARE.
   esac
 }]
 
+AC_ARG_ENABLE([linux-groups],
+  AS_HELP_STRING([--disable-linux-groups], [Linux drivers]))
+
 AC_DEFUN([AC_OPTION_Linux_group], [
 AC_ARG_ENABLE([$1-group],
-  AS_HELP_STRING([--enable-$1-group], [$2]))
+  AS_HELP_STRING([--enable-$1-group], [$2]),
+  enable_$1_group=$enableval, enable_$1_group=$enable_linux_groups)
 ])
 
 #
-- 
cgit v1.2.3