mirror of
git://git.openwrt.org/openwrt/openwrt.git
synced 2026-06-16 00:46:18 -04:00
It is not needed for anything on the system and skipping this saves some build time, especially in cases where there is nothing to do. Signed-off-by: Felix Fietkau <nbd@nbd.name>