> In that case it should be OK (but maybe we should be consistent, in > whatever direction, about when such rules are / aren't conditionalized). I think consistency is good. I think we should favor not conditionalizing anywhere that we do not have to, just to reduce clutter in the makefiles.