diff options
author | Andrei Vagin <avagin@gmail.com> | 2020-09-23 20:47:21 -0700 |
---|---|---|
committer | Andrei Vagin <avagin@gmail.com> | 2020-09-23 21:05:45 -0700 |
commit | 2111cba9ce22dbb771610a40ce8ed3e2608d0c12 (patch) | |
tree | fcf1ded6ca9bb4d251b33367ecce7c7e645cff3a /images/benchmarks | |
parent | d00207ff482fd5cfa607d37979b5455f41a86e3b (diff) |
make: specify /dev/null for the tail tool
Diffstat (limited to 'images/benchmarks')
0 files changed, 0 insertions, 0 deletions