diff options
| author | Fridolin Pokorny <fpokorny@redhat.com> | 2014-08-27 15:25:30 +0200 |
|---|---|---|
| committer | Pádraig Brady <P@draigBrady.com> | 2014-09-09 12:56:04 +0100 |
| commit | 3ea43e02541ece750ffc6cd1dfe34195421b4ef3 (patch) | |
| tree | 7fb4ba60cf0c76006c8d535d20bda9129a6350e1 /check-copyright | |
| parent | 2bf7326e10fae4abef536486aa9819331596c379 (diff) | |
| download | gnulib-3ea43e02541ece750ffc6cd1dfe34195421b4ef3.tar.gz | |
mountlist: use /proc/self/mountinfo when available
Use libmount to propagate device IDs provided by Linux in
/proc/self/mountinfo. This will give more accurate output when
using df in chroot'ed environments as the device IDs are not
determined by stat() which may be inaccurate within the chroot.
* lib/mountlist.c (read_file_system_list): Use the libmount routines
from util-linux to parse "/proc/self/mountinfo" or fall back to
standard getmntent() processing.
* m4/ls-mntd-fs.m4: Check for libmount only when 1-argument
getmntent() is used, as is the case on GNU/Linux.
* DEPENDENCIES: Mention the optional util-linux dependency.
Diffstat (limited to 'check-copyright')
0 files changed, 0 insertions, 0 deletions