On Fri, 14 Feb 2025 10:54:12 +0100, Ahmad Fatoum wrote: > While free() can handle NULL pointers, it's better to not even call > free() when we know at compile-time that the pointers are NULL. > > Applied, thanks! [1/1] boot: omit menu freeing loop when CONFIG_MENU is disabled https://git.pengutronix.de/cgit/barebox/commit/?id=b75e35471167 (link may not be stable) Best regards, -- Sascha Hauer <s.hauer@xxxxxxxxxxxxxx>