diff options
author | Ludovic Courtès <ludo@gnu.org> | 2017-11-26 15:08:50 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-11-26 15:58:33 +0100 |
commit | 9b0713012905f3997d6fad201dba7c3d93b38b13 (patch) | |
tree | 238e98073955783e3ceced6da79d21a5c413388e /.mailmap | |
parent | 5c22f3726e6a3e44792fd44f7b42122194a16f35 (diff) |
list-runtime-roots: Ignore ESRCH while reading from /proc.
Fixes <https://bugs.gnu.org/29368>.
Reported by Martin Castillo <castilma@uni-bremen.de>.
* nix/scripts/list-runtime-roots.in (referenced-files): Ignore ESRCH.
Diffstat (limited to '.mailmap')
0 files changed, 0 insertions, 0 deletions