diff --git a/drivers/bios_wini/bios_wini.c b/drivers/bios_wini/bios_wini.c
index 4ae5c6a15..a719596c5 100644
--- 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);
 }
 
 /*===========================================================================*