diff --git a/common.dump b/common.dump index 67440b7c..094a1141 100644 --- a/common.dump +++ b/common.dump @@ -272,9 +272,10 @@ _cleanup() _stable_fs() { - umount $SCRATCH_MNT >/dev/null - mount $SCRATCH_MNT >/dev/null -# sync; sync; sleep 15 + umount $SCRATCH_MNT >>$seq.full ||\ + _error "unmount failed" + mount -t xfs $SCRATCH_DEV $SCRATCH_MNT >>$seq.full ||\ + _error "mount failed" } #