diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-03-16T09·52+0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-03-16T09·52+0100 |
| commit | 0ec7f47b00659cf043eb7fbe72385a08f7e9f8e2 (patch) | |
| tree | 820dd15bf3c739616b177e7d8279997622e74822 /scripts/local.mk | |
| parent | 43f158bb0885c2eb9180ef7ab24034b1b9353e8b (diff) | |
Remove "killing process <pid>" messages
They convey no useful information.
Diffstat (limited to 'scripts/local.mk')
0 files changed, 0 insertions, 0 deletions