diff options
author | Erin Kinsley | 2017-08-28 12:04:04 +0100 |
---|---|---|
committer | Erin Kinsley | 2017-08-28 12:04:04 +0100 |
commit | ba0aa89c411390914cfebbe4327e869908b34623 (patch) | |
tree | b19e73d56709307c38485110faf49791c3ff7a59 /configure.local | |
parent | c25fc134afc1edc81ea86890bc53004d16e9a973 (diff) | |
download | aur-ba0aa89c411390914cfebbe4327e869908b34623.tar.gz |
Enable catman(8).
Diffstat (limited to 'configure.local')
-rw-r--r-- | configure.local | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/configure.local b/configure.local index fd13d656b53f..b3ea0a01539e 100644 --- a/configure.local +++ b/configure.local @@ -10,5 +10,8 @@ MANDIR=$PREFIX/share/man MANM_MAN=mandoc_man MANM_MDOC=mandoc_mdoc +# catman(8) is disabled by default. +BUILD_CATMAN=1 + # _FORTIFY_SOURCE doesn't work unless an optimisation level is specified. CFLAGS="$CFLAGS -O2" |