diff options
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 3f964d47b4d..ee0579737b9 100644 --- a/mk/defaults/options.description +++ b/mk/defaults/options.description @@ -103,6 +103,7 @@ clutter Use Clutter for graphics support. cmdliner Enable cmdliner support. cmxs Produce CMXS files. color Enable color support. +columnstore Enable the columnar storage engine. compface Enable compface support. coqide Enable ide support for coq. coreaudio Enable Core Audio library support. |