diff options
| author | Al Viro <viro@zeniv.linux.org.uk> | 2014-03-21 18:14:08 +0400 |
|---|---|---|
| committer | Al Viro <viro@zeniv.linux.org.uk> | 2014-03-31 03:18:50 +0400 |
| commit | 0b1b901b5a98bb36943d10820efc796f7cd45ff3 (patch) | |
| tree | 72aa314fd3f3c37d152aba79b302b86ce7f6a1f6 /tools/Makefile | |
| parent | 1d6a32acd70ab18499829c0a9a5dbe2bace72a13 (diff) | |
| download | linux-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