tree 7d96449a65d2e256c14a7c6185867c2f8d283951
parent 3ae2b4b5d1355ca1ff1e2075a87925441343bd22
author J. Richard Barnette <jrbarnette@chromium.org> 1329356044 -0800
committer Richard Barnette <jrbarnette@chromium.org> 1329861883 -0800

Delete unnecessary -d options from umount

The -d option to umount is unnecessary in cases where the original
mount was created with '-o loop' (it says so in the man page).
Moreover, there's a demonstrable bug when using 'umount -d' in this
case:  umount complains that it's unable to delete the loop device
in this case.  This change silences those messages.

The demonstrated bug in umount is a plausible explanation for build
failures characterized by unexpected failures of 'mount -o loop';
see the BUG, below.

BUG=chromium-os:24975
TEST=run the changed commands, see no loopback devices leaked

Change-Id: If923584f931c5a957f47cda6daeee2388c3c3fe9
Reviewed-on: https://gerrit.chromium.org/gerrit/16187
Reviewed-by: David James <davidjames@chromium.org>
Tested-by: Richard Barnette <jrbarnette@chromium.org>