summaryrefslogtreecommitdiffstats
path: root/COPYING
diff options
context:
space:
mode:
authorTavian Barnes <tavianator@tavianator.com>2019-07-04 17:07:50 -0400
committerTavian Barnes <tavianator@tavianator.com>2019-07-04 17:07:50 -0400
commitd3e64d6e1f905cd67264845c38b38fc6d1bdb088 (patch)
tree52a303272ec29b520b7d9d1f0237290b1e38ab3d /COPYING
parent43039c98eb6bc2514434fe3b33faa3eb32e75ba3 (diff)
downloadbfs-d3e64d6e1f905cd67264845c38b38fc6d1bdb088.tar.xz
Make -mount and -xdev do different things
POSIX now says -mount should skip the whole mount point, while -xdev should only skip its descendents. C.f. http://austingroupbugs.net/view.php?id=1133 C.f. https://savannah.gnu.org/bugs/?42318 C.f. https://savannah.gnu.org/bugs/?54745
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions