Follow-up Comment #4, patch #4921 (project mldonkey):
>>If you remove it, this can't be compiled on any OS other than mingw.
what about this
if Autoconf.system = "mingw" then begin
let mingw_second_timer timer =
MlUnix.set_console_title (DriverInteractive.console_topic ()) in
add_infinite_timer 1. mingw_second_timer;
end;
then MlUnix.set_console_title is only bound for mingw and set_console_title
is not required in unix/mlUnix.ml
_______________________________________________________
Reply to this item at:
<http://savannah.nongnu.org/patch/?func=detailitem&item_id=4921>
_______________________________________________
Nachricht geschickt von/durch Savannah
http://savannah.nongnu.org/
_______________________________________________
Mldonkey-users mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/mldonkey-users
