Cannot compile phase 2 after recent Roles patch

[Dr. ERDI Gergo]

On Sun, 11 Aug 2013, Richard Eisenberg wrote:

> It looks to me that the problem is caused by an outdated libraries/base 
> repo. Have you run ./sync-all pull? In particular, your libraries/base 
> repo needs to be at ab9e8e3… or later.
>
> Let me know if this was indeed the problem!

Yes, thanks! I only knew about 'sync-all get', I thought something like 
'git submodule update' would take care of all the other stuff. Sorry for 
the noise!

-- 

   .--= ULLA! =-----------------.
    \     http://gergo.erdi.hu   \
     `---= gergo at erdi.hu =-------'
Gendo : Rei, you're a nude girl in a test tube. I like that.