Re: You have an old time package in your GHC tree!

Erik de Castro Lopo wrote:

> Hi all,
> 
> Just updated my tree against git HEAD and got the message:
> 
>     ============================
>     ATTENTION!
> 
>     You have an old time package in your GHC tree!
> 
>     Please remove it (e.g. "rm -r libraries/time"), and then run
>     "./sync-all get" to get the new repository.
>     ============================
> 
> I did as suggested but I don't get the new time library and I still
> get this message.

Ian Lynagh has fixed this. Thanks Ian.

Erik
-- 
----------------------------------------------------------------------
Erik de Castro Lopo
http://www.mega-nerd.com/