summaryrefslogtreecommitdiff
path: root/tools/Makefile
diff options
context:
space:
mode:
authorAl Viro <viro@zeniv.linux.org.uk>2014-03-21 18:14:08 +0400
committerAl Viro <viro@zeniv.linux.org.uk>2014-03-31 03:18:50 +0400
commit0b1b901b5a98bb36943d10820efc796f7cd45ff3 (patch)
tree72aa314fd3f3c37d152aba79b302b86ce7f6a1f6 /tools/Makefile
parent1d6a32acd70ab18499829c0a9a5dbe2bace72a13 (diff)
downloadlinux-0b1b901b5a98bb36943d10820efc796f7cd45ff3.tar.xz
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>
Diffstat (limited to 'tools/Makefile')
0 files changed, 0 insertions, 0 deletions