> I see two possible fixes. > One is to provide an isatty that always returns 1. > The other is to call setvbuf to make stdout unbuffered.
The issue has been resolved. Please see: http://lists.gnu.org/archive/html/help-glpk/2008-12/msg00053.html (In glpk all terminal output goes thru xputc, so it was sufficient just to add a call to fflush.) _______________________________________________ Help-glpk mailing list [email protected] http://lists.gnu.org/mailman/listinfo/help-glpk
