diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2019-05-09 13:26:57 +0200 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2019-05-09 18:17:28 +0200 |
| commit | 0b0673b61a777d642d5e4dfa06cca299339824b7 (patch) | |
| tree | 8250671ea106850f8e25d3b49eb78dcf31c13174 /meson_options.txt | |
| parent | e9bbff18e1cb7fc2ec209255c523780ad2e3dfce (diff) | |
| download | systemd-0b0673b61a777d642d5e4dfa06cca299339824b7.tar.gz | |
meson: default to -Dman=false to make development quicker
This makes the default build much quicker. If people are building systemd for
packaging or actual installation, they probably need to set some more options
anyway (-Ddns-servers=, -Dntp-servers=), so adding -Dman=true is not a big
burden.
For CIs configured locally, -Dman=true is added to restore status quo ante.
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 c1cb4617d0..5d68970ff6 100644 --- a/meson_options.txt +++ b/meson_options.txt @@ -126,6 +126,7 @@ option('hwdb', type : 'boolean', option('rfkill', type : 'boolean', description : 'support for the rfkill tools') option('man', type : 'combo', choices : ['auto', 'true', 'false'], + value : 'false', description : 'build and install man pages') option('html', type : 'combo', choices : ['auto', 'true', 'false'], value : 'false', |