Ævar Arnfjörð Bjarmason <avarab@xxxxxxxxx> writes: > But if you're trying to address this "maybe it errors" issue then > .DELETE_ON_ERROR is a better solution. Yeah, I forgot about that, but I agree that .DELETE_ON_ERROR is a good thing to use, as we depend on GNU make anyway. Thanks for bringing it up.