*** empty log message ***

diff --git a/drivers/bios_wini/bios_wini.c b/drivers/bios_wini/bios_wini.c
index 4ae5c6a15816f442db7ee0c84df2a1f634aadbc3..a719596c5471a349d231aaf081a5b8d8e2fb8d29 100644 (file)
--- a/drivers/bios_wini/bios_wini.c
+++ b/drivers/bios_wini/bios_wini.c
@@ -104,6 +104,7 @@ PUBLIC int main()
 
 /* Set special disk parameters then call the generic main loop. */
   driver_task(&w_dtab);
+  return(OK);
 }
 
 /*===========================================================================*