diff options
-rw-r--r-- | src/test/test-mount-util.c | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/test/test-mount-util.c b/src/test/test-mount-util.c index c10e1681fb..991d165fc3 100644 --- a/src/test/test-mount-util.c +++ b/src/test/test-mount-util.c @@ -74,7 +74,13 @@ static void test_mnt_id(void) { /* The ids don't match? If so, then there are two mounts on the same path, let's check if that's really * the case */ - assert_se(path_equal_ptr(hashmap_get(h, INT_TO_PTR(mnt_id2)), p)); + char *t = hashmap_get(h, INT_TO_PTR(mnt_id2)); + log_debug("Path for mnt id %i from /proc/self/mountinfo is %s\n", mnt_id2, t); + + if (!path_equal(p, t)) + /* Apparent kernel bug in /proc/self/fdinfo */ + log_warning("Bad mount id given for %s: %d, should be %d", + p, mnt_id2, mnt_id); } hashmap_free_free(h); |