> Date: Wed, 21 Mar 2012 21:09:52 +0100 > From: Dani Moncayo <[email protected]> > Cc: [email protected], [email protected] > > -------- main.c ------------- > #include <stdio.h> > > int main(void) > { > printf("hello, world!\n"); > fflush(stdout); > return 0; > } > ----------------------------- > > The output should not be shown in the *gud* buffer (as happens now), > but in the *input/output* one, no? If not, what's that *input/output* > buffer for?
I suspect that whatever tricks gdb-mi.el uses to separate the program's output from GDB's simply doesn't work on Windows. But that's a guess, I didn't have time to dig into this.
