diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-11-12 22:02:22 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-11-12 22:42:17 +0100 |
| commit | b8f59cdc20e9d83ce63523ef917e95fcee07f134 (patch) | |
| tree | 15ebea7f4b9c0c170f68760ed9e2807cd6863e9e /.gitignore | |
| parent | 6a98b9f34e6190a2e1d11bedd5853aa94cf25ca7 (diff) | |
| download | patches-b8f59cdc20e9d83ce63523ef917e95fcee07f134.tar patches-b8f59cdc20e9d83ce63523ef917e95fcee07f134.tar.gz | |
list-runtime-roots: Do not use 'lsof'.
This makes things a bit faster (0.8s instead of 1.4s on my laptop).
* nix/scripts/list-runtime-roots.in (lsof-roots): Remove.
(proc-fd-roots): Return the empty list when 'scandir' returns #f.
(referenced-files): New procedure.
Use it at the top level.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions