diff options
author | Ben Hutchings <ben@decadent.org.uk> | 2016-01-21 00:26:44 +0000 |
---|---|---|
committer | Ben Hutchings <ben@decadent.org.uk> | 2016-01-21 01:19:34 +0000 |
commit | e7986291017fc111d96801aac0d0d0117ec76862 (patch) | |
tree | 758dd10a6b35a9a5fbb4b1aadd813e15cfbf0520 /scripts/local | |
parent | a8ed874f39a325e3d915d2aaddeb02b4ef93765b (diff) |
Pass filesystem type from /etc/fstab to fsck when checking /usr
Unlike root, the types of all other filesystems in /etc/fstab have
historically been honoured and we should continue to do so.
Signed-off-by: Ben Hutchings <ben@decadent.org.uk>
Diffstat (limited to 'scripts/local')
-rw-r--r-- | scripts/local | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/local b/scripts/local index af56e66..3558f7a 100644 --- a/scripts/local +++ b/scripts/local @@ -136,7 +136,7 @@ local_mount_root() # FIXME This has no error checking modprobe ${FSTYPE} - checkfs ${ROOT} root + checkfs ${ROOT} root "${FSTYPE}" # FIXME This has no error checking # Mount root @@ -166,7 +166,7 @@ local_mount_fs() modprobe "${MNT_TYPE}" if [ "$MNT_PASS" != 0 ]; then - checkfs "$MNT_FSNAME" "$MNT_DIR" + checkfs "$MNT_FSNAME" "$MNT_DIR" "${MNT_TYPE}" fi # FIXME This has no error checking |