tree 72aa314fd3f3c37d152aba79b302b86ce7f6a1f6
parent 1d6a32acd70ab18499829c0a9a5dbe2bace72a13
author Al Viro <viro@zeniv.linux.org.uk> 1395411248 -0400
committer Al Viro <viro@zeniv.linux.org.uk> 1396221530 -0400

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.

Cc: stable@vger.kernel.org
Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>