src/video/xbios/SDL_xbios.c
changeset 598 50dcaff875f5
parent 557 0ce5a68278fd
child 711 8db4098e944b
equal deleted inserted replaced
597:5e738444b658 598:50dcaff875f5
   129 
   129 
   130 /* Xbios driver bootstrap functions */
   130 /* Xbios driver bootstrap functions */
   131 
   131 
   132 static int XBIOS_Available(void)
   132 static int XBIOS_Available(void)
   133 {
   133 {
   134 	const char *envr = getenv("SDL_VIDEODRIVER");
       
   135 	unsigned long cookie_vdo;
   134 	unsigned long cookie_vdo;
   136 
       
   137 	/* Check if user asked a different video driver */
       
   138 	if ((envr) && (strcmp(envr, XBIOS_VID_DRIVER_NAME)!=0)) {
       
   139 		return 0;
       
   140 	}
       
   141 
   135 
   142 	/* Cookie _VDO present ? if not, assume ST machine */
   136 	/* Cookie _VDO present ? if not, assume ST machine */
   143 	if (Getcookie(C__VDO, &cookie_vdo) != C_FOUND) {
   137 	if (Getcookie(C__VDO, &cookie_vdo) != C_FOUND) {
   144 		cookie_vdo = VDO_ST << 16;
   138 		cookie_vdo = VDO_ST << 16;
   145 	}
   139 	}