diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2021-03-31 02:59:35 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2021-03-31 02:59:35 +0200 |
| commit | cd8e18ad94933f927ef7c453f7a1102f4e60fa8a (patch) | |
| tree | ce90f5b18936a35f378caa5ff34cf6b2ba86f6b0 /linux | |
| parent | 277a12ea4dd1c635b0719e2d4d0204655fd53691 (diff) | |
| download | gnumach-cd8e18ad94933f927ef7c453f7a1102f4e60fa8a.tar.gz gnumach-cd8e18ad94933f927ef7c453f7a1102f4e60fa8a.tar.bz2 gnumach-cd8e18ad94933f927ef7c453f7a1102f4e60fa8a.zip | |
linux: Add option to disable Linux groups
* linux/configfrag.ac (--disable-linux-groups): New option.
(AC_OPTION_Linux_group): Default to $enable_linux_groups.
Diffstat (limited to 'linux')
| -rw-r--r-- | linux/configfrag.ac | 6 |
1 files changed, 5 insertions, 1 deletions
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) ]) # |