diff options
Diffstat (limited to 'cli/build/root.build')
| -rw-r--r-- | cli/build/root.build | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/cli/build/root.build b/cli/build/root.build index 0753a9e..ceeaf6c 100644 --- a/cli/build/root.build +++ b/cli/build/root.build @@ -4,10 +4,12 @@ # Note that we cannot install the development build. This is due to both the # bootstrap cli (which we need to run) and the final cli (which we need to # install) depending on libcutl (so we need it to be both "for-install" and -# "for-run"). Nor can we run the final cli to generate the man pages. +# "for-run"). Nor can we run such final cli to generate the man pages. # config [bool] config.cli.develop ?= false +develop = $config.cli.develop + define cli: file cli{*}: extension = cli |