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.

I'm also getting the following from "git status":

    # Changes not staged for commit:
    #   (use "git add/rm <file>..." to update what will be committed)
    #   (use "git checkout -- <file>..." to discard changes in working directory)
    #   (commit or discard the untracked or modified content in submodules)
    #
    #       modified:   libraries/primitive (untracked content)
    #       modified:   libraries/transformers (untracked content)
    #       modified:   libraries/vector (untracked content)

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