df: always print the device name for bind mounted files
authorPádraig Brady <P@draigBrady.com>
Tue, 24 Aug 2010 07:13:33 +0000 (08:13 +0100)
committerPádraig Brady <P@draigBrady.com>
Wed, 25 Aug 2010 22:02:55 +0000 (23:02 +0100)
commit0380e4c98e9d53ae314f5537c5f1a4b891577768
tree80ee5be3fe23dff9e4fec89655e969c831784286
parent2ed90c4c9dca45ca266f4d5d25b6bac982765004
df: always print the device name for bind mounted files

* src/df (show_point): Remove the optimization for comparing
the specified path with the device name, as this produces
inconsistent results in the presence of bind mounts.  For bind
mounts, the device name is populated with the bind mount target.
* NEWS: Mention the change in behavior.
NEWS
src/df.c