diff options
| author | Al Viro <viro@zeniv.linux.org.uk> | 2014-03-21 10:14:08 -0400 |
|---|---|---|
| committer | Mister Oyster <oysterized@gmail.com> | 2017-04-11 10:59:10 +0200 |
| commit | 118c7fe9e0245d2075c0b5a64a172f3feaed5b5b (patch) | |
| tree | c3b96824d03b70a69534b6ee9396be7901e0763e /include/linux | |
| parent | 4a6abf6d616af50e713a4765c14c0341c2ad9a5a (diff) | |
BACKPORT: don't bother with propagate_mnt() unless the target is shared
If the dest_mnt is not shared, propagate_mnt() does nothing -
there's no mounts to propagate to and thus no copies to create.
Might as well don't bother calling it in that case.
Change-Id: Id94af8ad288bf9bfc6ffb5570562bbc2dc2e0d87
Cc: stable@vger.kernel.org
Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>
Diffstat (limited to 'include/linux')
0 files changed, 0 insertions, 0 deletions