diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2015-03-13 21:21:41 -0500 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2015-03-13 23:42:17 -0400 |
commit | 8fa158e79d911294a18361eb6e674840e36a1a37 (patch) | |
tree | 0a9f33737de673af00ac24f4776536f32b095e44 | |
parent | 2bf105232f82ef5c9073b8f9809bd9d987257b1c (diff) |
core: one more (void)
CID #996308.
-rw-r--r-- | src/core/device.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/core/device.c b/src/core/device.c index 6b489a4c9d..4bfd71f479 100644 --- a/src/core/device.c +++ b/src/core/device.c @@ -568,7 +568,7 @@ static int device_enumerate(Manager *m) { /* This will fail if we are unprivileged, but that * should not matter much, as user instances won't run * during boot. */ - udev_monitor_set_receive_buffer_size(m->udev_monitor, 128*1024*1024); + (void) udev_monitor_set_receive_buffer_size(m->udev_monitor, 128*1024*1024); r = udev_monitor_filter_add_match_tag(m->udev_monitor, "systemd"); if (r < 0) |