diff options
author | Bastien Nocera <hadess@hadess.net> | 2021-05-05 12:55:13 +0200 |
---|---|---|
committer | Bastien Nocera <hadess@hadess.net> | 2021-05-05 12:57:16 +0200 |
commit | 4086ecb611ba2416fa49a8a4b3ac0cbc24724ad2 (patch) | |
tree | 9729904611e054b7ae3113297908aee6a0f5bb36 /meson_options.txt | |
parent | 38622883d48ae1e26516f900f72d5db6d38fb9ac (diff) | |
download | totem-4086ecb611ba2416fa49a8a4b3ac0cbc24724ad2.tar.gz |
build: Make building the user help optional
This can speed up "jhbuild make" quite a bit. The help is still enabled
by default as it was.
Diffstat (limited to 'meson_options.txt')
-rw-r--r-- | meson_options.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/meson_options.txt b/meson_options.txt index 7070fd5d0..31edd2c20 100644 --- a/meson_options.txt +++ b/meson_options.txt @@ -1,3 +1,4 @@ +option('help', type: 'boolean', value: true, description: 'Build help') option('enable-easy-codec-installation', type: 'combo', choices: ['yes', 'no', 'auto'], value: 'auto', description: 'Whether to enable easy codec installation support for GStreamer') option('enable-python', type: 'combo', choices: ['yes', 'no', 'auto'], value: 'auto', description: 'Enable python support') option('with-plugins', type: 'combo', choices: ['all', 'none', 'auto'], value: 'auto', description: 'Which Totem plugins to compile (default: auto; "all", "none" and "auto" are valid)') |