summaryrefslogtreecommitdiff
path: root/scripts/local
diff options
context:
space:
mode:
authorBen Hutchings <ben@decadent.org.uk>2016-01-21 00:26:44 +0000
committerBen Hutchings <ben@decadent.org.uk>2016-01-21 01:19:34 +0000
commite7986291017fc111d96801aac0d0d0117ec76862 (patch)
tree758dd10a6b35a9a5fbb4b1aadd813e15cfbf0520 /scripts/local
parenta8ed874f39a325e3d915d2aaddeb02b4ef93765b (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/local4
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