| commit | 0b1b901b5a98bb36943d10820efc796f7cd45ff3 | [log] [tgz] |
|---|---|---|
| author | Al Viro <viro@zeniv.linux.org.uk> | Fri Mar 21 10:14:08 2014 -0400 |
| committer | Al Viro <viro@zeniv.linux.org.uk> | Sun Mar 30 19:18:50 2014 -0400 |
| tree | 72aa314fd3f3c37d152aba79b302b86ce7f6a1f6 | |
| parent | 1d6a32acd70ab18499829c0a9a5dbe2bace72a13 [diff] |
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>