[syslinux] EFI build problems, fixed in which git repo

[Geert Stappers]

Op 2014-01-02 om 15:37 schreef H. Peter Anvin:
> On 01/02/2014 04:09 AM, Ferenc Wagner wrote:
> > 
> > Issuing another make after this gave the previous error again:
> > 
> > isolinux.asm:1102: error: TIMES value -4 is negative
> > 
> 
> I just fixed this one... it seems to be a consequence of merging in the
> MOVZX isolinux fix into the firmware branch.

And where is the fixed published?

Over here I did do a `git pull`, but that told me "Already up-to-date."

 From another thread on this mailinglist I did understood that
there is some delay in synchronisation of git repositories.
How long that delay is, is unclear to me.

The git repository that I use is the one as documented
on http://www.syslinux.org/wiki/index.php/Development which says
    git clone git://git.kernel.org/pub/scm/boot/syslinux/syslinux.git working-directory


Are I using the right git repository?


Groeten
Geert Stappers
-- 
Leven en laten leven