> Anyway, in looking at debian/control, I see that "time" is in the > build depends. Is this necessary? I don't see where it is used > during the build at all. Some of the Makefiles used to call time so that we could see how long things were taking. Since they don't anymore (see r2266), the dependence can be removed.