@lanodan @xerz i mean it makes total sense to ditch gnu make where you realistically can (because gnumake is a pile of very poorly documented extensions that is impossible to replicate), but this should involve ditching it for something that is not make, and is not a distro thing to decide