ad8d265406
RELEASE_CRUNCH builds use NO_MAN anyway, so this change is primarily to avoid that developers have to set NO_MAN manually when they build the static variant.