diff options
author | leot <leot@pkgsrc.org> | 2022-07-16 15:42:09 +0000 |
---|---|---|
committer | leot <leot@pkgsrc.org> | 2022-07-16 15:42:09 +0000 |
commit | 40848829321976484add04da30d8f6183def907d (patch) | |
tree | 075bbc310e69cdd728099f58f0ec8ec5bba9459f /mk | |
parent | 2db338cc0b1599909741247f750464ea6efb5ba5 (diff) | |
download | pkgsrc-40848829321976484add04da30d8f6183def907d.tar.gz |
Document openipmi option
From Yuuki Enomoto via PR pkg/56929, thanks!
Diffstat (limited to 'mk')
-rw-r--r-- | mk/defaults/options.description | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mk/defaults/options.description b/mk/defaults/options.description index 861ce4e0acf..ff36ba48748 100644 --- a/mk/defaults/options.description +++ b/mk/defaults/options.description @@ -654,6 +654,7 @@ opendkim-filter Build opendkim-filter support. openexr Use OpenEXR as imaging library. opengl Use OpenGL as display library. opengrok-build Enable building of OpenGrok from source. +openipmi Enable OpenIPMI support. openldap Enable OpenLDAP support. openmp Enable OpenMP multithreading. openmpi-vampirtrace Build VampirTrace as part of OpenMPI. |