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 /build | |
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 'build')
0 files changed, 0 insertions, 0 deletions