diff options
| author | Tavian Barnes <tavianator@tavianator.com> | 2019-07-04 17:07:50 -0400 |
|---|---|---|
| committer | Tavian Barnes <tavianator@tavianator.com> | 2019-07-04 17:07:50 -0400 |
| commit | d3e64d6e1f905cd67264845c38b38fc6d1bdb088 (patch) | |
| tree | 52a303272ec29b520b7d9d1f0237290b1e38ab3d /COPYING | |
| parent | 43039c98eb6bc2514434fe3b33faa3eb32e75ba3 (diff) | |
| download | bfs-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