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 /pkg/sentry/pgalloc | |
| parent | d00207ff482fd5cfa607d37979b5455f41a86e3b (diff) | |
make: specify /dev/null for the tail tool
Diffstat (limited to 'pkg/sentry/pgalloc')
0 files changed, 0 insertions, 0 deletions