[MLton] "time" in build depends?

Stephen Weeks MLton@mlton.org
Wed, 7 Jun 2006 10:53:15 -0700

> 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.