diff options
author | Rich Ercolani <[email protected]> | 2021-12-16 23:19:22 -0500 |
---|---|---|
committer | Brian Behlendorf <[email protected]> | 2022-03-08 09:33:11 -0800 |
commit | 7eb179be18af2d693e087770f0d960092b83e8ab (patch) | |
tree | 18b1239ca879c9c09af648545c9bbd0b3b862254 /.github | |
parent | dd899641eeca595de07c0ae4a8021fa1ca2a9703 (diff) |
ZTS: /dev/null: accept no substitutes
Instead of writing to "devnull" and rming it later, just
> /dev/null to not have to cleanup later.
Reviewed-by: Brian Behlendorf <[email protected]>
Reviewed-by: Paul Dagnelie <[email protected]>
Co-authored-by: Rich Ercolani <[email protected]>
Signed-off-by: Ahelenia ZiemiaĆska <[email protected]>
Closes #13133
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions