diff options
author | Denys Vlasenko <vda.linux@googlemail.com> | 2018-07-28 12:13:58 +0200 |
---|---|---|
committer | Denys Vlasenko <vda.linux@googlemail.com> | 2018-07-28 12:13:58 +0200 |
commit | aa449c927d1d84092f9654e45ab9f68847e81226 (patch) | |
tree | 3ae7ea620aa9498cac9d8f2efac73a90ecdf52a6 /Makefile.flags | |
parent | 4b70c926bcbfaf6df6e21c98ea096b0db8629095 (diff) |
hush: make "set -x" output don't redirectable when fd#2 redirected
function old new delta
x_mode_print_optionally_squoted - 120 +120
x_mode_flush - 68 +68
save_fd_on_redirect 208 243 +35
x_mode_prefix - 27 +27
x_mode_addblock - 23 +23
x_mode_addchr - 17 +17
dump_cmd_in_x_mode 110 85 -25
run_pipe 1919 1890 -29
print_optionally_squoted 145 - -145
------------------------------------------------------------------------------
(add/remove: 5/1 grow/shrink: 1/2 up/down: 290/-199) Total: 91 bytes
Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>
Diffstat (limited to 'Makefile.flags')
0 files changed, 0 insertions, 0 deletions