diff options
author | Tobias Hunger <tobias.hunger@gmail.com> | 2015-03-24 00:53:00 +0100 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2015-03-24 00:12:03 -0400 |
commit | fb02a2775a65198db606d8fc3a03852ce843378f (patch) | |
tree | 402b66a55b6ba2d0d11a92618078902ede96eab5 /src/shared | |
parent | b0438462089d1e1460429a57718305de08985908 (diff) |
fstab-generator: Do not check deviceless filesystems
There is no need to check those.
Diffstat (limited to 'src/shared')
-rw-r--r-- | src/shared/generator.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/shared/generator.c b/src/shared/generator.c index 569b25bb7c..c348ca2e04 100644 --- a/src/shared/generator.c +++ b/src/shared/generator.c @@ -42,6 +42,11 @@ int generator_write_fsck_deps( assert(what); assert(where); + if (fstype_is_deviceless(fstype)) { + log_debug("Not checking deviceless filesystem \"%s\".", fstype); + return 0; + } + if (!is_device_path(what)) { log_warning("Checking was requested for \"%s\", but it is not a device.", what); return 0; |