src/video/xbios/SDL_xbios.c
changeset 598 50dcaff875f5
parent 557 0ce5a68278fd
child 711 8db4098e944b
--- a/src/video/xbios/SDL_xbios.c	Mon Feb 10 00:39:33 2003 +0000
+++ b/src/video/xbios/SDL_xbios.c	Wed Feb 12 15:24:39 2003 +0000
@@ -131,14 +131,8 @@
 
 static int XBIOS_Available(void)
 {
-	const char *envr = getenv("SDL_VIDEODRIVER");
 	unsigned long cookie_vdo;
 
-	/* Check if user asked a different video driver */
-	if ((envr) && (strcmp(envr, XBIOS_VID_DRIVER_NAME)!=0)) {
-		return 0;
-	}
-
 	/* Cookie _VDO present ? if not, assume ST machine */
 	if (Getcookie(C__VDO, &cookie_vdo) != C_FOUND) {
 		cookie_vdo = VDO_ST << 16;