commit | 8a205007a8eea9386d82fe370c6d786b438e6c47 | [log] [tgz] |
---|---|---|
author | Al Viro <viro@zeniv.linux.org.uk> | Fri Mar 21 10:14:08 2014 -0400 |
committer | chrmhoffmann <chrmhoffmann@gmail.com> | Sun Jul 22 21:58:22 2018 +0200 |
tree | 9cd1965aee677c6d37df28ba55ee5153c4bf0193 | |
parent | e3451232517d52669d8ce237bfcff79bcb795d27 [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> Signed-off-by: Kevin F. Haggerty <haggertk@lineageos.org>