diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2016-08-18 15:03:42 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-08-18 15:03:42 +0200 |
| commit | ca55c178784779e13245ae2e8760d5ff7c7a4a9f (patch) | |
| tree | 6ea0eccc472dfe80a771c073a89ca88830d2fce8 /.gitignore | |
| parent | 10af8b3e73ef64c4065acb0f016ce77f55815bc1 (diff) | |
Add global config.install.{cmd,options,sudo,mode,dir_mode}
This way we can do:
b install \
config.install.data_root=/tmp/data \
config.install.exec_root=/tmp/exec \
config.install.sudo=sudo
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions