distro: time: Adjust `configure' phase to old `configure' script.
authorLudovic Courtès <ludo@gnu.org>
Sun, 6 Jan 2013 16:42:59 +0000 (17:42 +0100)
committerLudovic Courtès <ludo@gnu.org>
Sun, 6 Jan 2013 16:42:59 +0000 (17:42 +0100)
commita9f8b72ee1d0a6b2837a49d89698304792b39b4b
treeb4977415b200e83fb21de4c51275a54be6182758
parent4050e5d6cfe8f7af29f10b2f1b3c7febdc10946a
distro: time: Adjust `configure' phase to old `configure' script.

* distro/packages/time.scm (time): Add `arguments'.
distro/packages/time.scm