GitLab

Fixes ghcilink001 on Windows

Windows has a smaller C stack than other OSes

sys.platform now always returns 'win32' for me.

It ignores the command line arguments, so we don't get a profile.

Fixes ghcilink001, ghcilink004 on Windows

This appears to be a bug in the gcc that we're currently using.

Compiling this, with -O:

const int i;
int f(void) {return i;}

results in this assembly:

        pushl   %ebp
        movl    %esp, %ebp
        movl    $0, %eax   <--- the $0 is wrong, should be _i
        leave
        ret

Turning off -O makes it work.

Maybe time to update our mingw gcc bundles?

It depends too much on when GC takes place, and bounces around
by 10% on this particular test.