diff --git a/repos/os/src/server/nic_router/interface.cc b/repos/os/src/server/nic_router/interface.cc index e508367468..278785e6c3 100644 --- a/repos/os/src/server/nic_router/interface.cc +++ b/repos/os/src/server/nic_router/interface.cc @@ -1720,7 +1720,8 @@ void Interface::_failed_to_send_packet_link() void Interface::_failed_to_send_packet_alloc() { - log("[", _domain(), "] failed to send packet (packet alloc failed)"); + if (_config().verbose()) { + log("[", _domain(), "] failed to send packet (packet alloc failed)"); } }