diff -r eddfb68cca4b -r b19c640dfc37 src/win32.c --- a/src/win32.c Tue Jan 09 19:43:46 2007 +0000 +++ b/src/win32.c Tue Jan 09 21:25:13 2007 +0000 @@ -836,7 +836,7 @@ void ShowInfo(const char *str) { if (_has_console) { - puts(str); + fprintf(stderr, str); } else { bool old;