diff options
author | Paul Barker <paul.barker@sancloud.com> | 2021-09-08 12:38:02 +0100 |
---|---|---|
committer | Tom Rini <trini@konsulko.com> | 2021-09-24 14:30:46 -0400 |
commit | 0d60e5d8e9a7abc46751664a0857c66280d43d2c (patch) | |
tree | 322415a51585845a0b9d44f0823686852185a3db /tools/buildman/control.py | |
parent | 5fe50f9a4018f21d36e3ef34d7af9f7b5d7016b9 (diff) |
tools: Handle PAGER containing arguments
When printing full help output from a tool, we should be able to handle
a PAGER variable which includes arguments, e.g. PAGER='less -F'.
Signed-off-by: Paul Barker <paul.barker@sancloud.com>
Diffstat (limited to 'tools/buildman/control.py')
0 files changed, 0 insertions, 0 deletions