This is an automated email from the git hooks/post-receive script. sthibault pushed a commit to branch upstream in repository hurd.
commit bf827fd801c76175d268b688f3bf9c757fa9e189 Author: Justus Winter <4win...@informatik.uni-hamburg.de> Date: Fri Jul 5 17:13:29 2013 +0200 mount: ignore mounted filesystems if --all is given Linux' mount utility ignores mounted filesystems if mount --all is invoked. This patch makes our mount do the same. utils/mount.c (main): Ignore mounted filesystems if --all is given. --- utils/mount.c | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/utils/mount.c b/utils/mount.c index 73a7539..77b2138 100644 --- a/utils/mount.c +++ b/utils/mount.c @@ -631,6 +631,15 @@ main (int argc, char **argv) if (! match_options (&fs->mntent)) continue; + + fsys_t mounted; + err = fs_fsys (fs, &mounted); + if (err) + error (0, err, "cannot determine if %s is already mounted", + fs->mntent.mnt_fsname); + + if (mounted != MACH_PORT_NULL) + continue; } err |= do_mount (fs, remount); } -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-hurd/hurd.git