don't bother with propagate_mnt() unless the target is shared
authorAl Viro <viro@zeniv.linux.org.uk>
Fri, 21 Mar 2014 14:14:08 +0000 (10:14 -0400)
committerAl Viro <viro@zeniv.linux.org.uk>
Sun, 30 Mar 2014 23:18:50 +0000 (19:18 -0400)
commit0b1b901b5a98bb36943d10820efc796f7cd45ff3
tree72aa314fd3f3c37d152aba79b302b86ce7f6a1f6
parent1d6a32acd70ab18499829c0a9a5dbe2bace72a13
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>
fs/namespace.c