tree 9cd1965aee677c6d37df28ba55ee5153c4bf0193
parent e3451232517d52669d8ce237bfcff79bcb795d27
author Al Viro <viro@zeniv.linux.org.uk> 1395411248 -0400
committer chrmhoffmann <chrmhoffmann@gmail.com> 1532289502 +0200

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>