diff options
| author | Erich Eckner <git@eckner.net> | 2022-02-26 21:47:19 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2022-02-26 21:47:19 +0100 |
| commit | 71e873f4e813be09bdf4d9198faf8622de43b81d (patch) | |
| tree | bb2e63b3fb51899c7647a6eb6459f2f980434ead /Makefile | |
| parent | 23b973c2a2e644560c320f9f2b4db13796106589 (diff) | |
| download | update-all-71e873f4e813be09bdf4d9198faf8622de43b81d.tar.xz | |
update-all: use /proc/$pid instead of kill -0 $pid
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions