diff options
| author | Al Viro <viro@zeniv.linux.org.uk> | 2014-03-21 10:14:08 -0400 |
|---|---|---|
| committer | Greg Kroah-Hartman <gregkh@linuxfoundation.org> | 2014-04-03 12:02:37 -0700 |
| commit | 92dbca18848fcc88661cd8a8ec17fd59ecc430cc (patch) | |
| tree | 66be4a3bf17972ba89155ec1529298b00ce49f1b /kernel/gcov/gcov.h | |
| parent | 12007ca282cf6f7636d029d61ae4223b59a08088 (diff) | |
don't bother with propagate_mnt() unless the target is shared
commit 0b1b901b5a98bb36943d10820efc796f7cd45ff3 upstream.
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.
Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>
Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>
Diffstat (limited to 'kernel/gcov/gcov.h')
0 files changed, 0 insertions, 0 deletions