src/audio/mint/SDL_mintaudio_xbios.c
changeset 1095 f10892fa2e48
parent 962 176240cf4405
child 1100 76459577e620
--- a/src/audio/mint/SDL_mintaudio_xbios.c	Mon Jul 18 13:42:57 2005 +0000
+++ b/src/audio/mint/SDL_mintaudio_xbios.c	Wed Jul 20 17:39:10 2005 +0000
@@ -82,8 +82,14 @@
 
 static int Audio_Available(void)
 {
+	unsigned long dummy;
 	const char *envr = getenv("SDL_AUDIODRIVER");
 
+	/* We can't use XBIOS in interrupt under MiNT */
+	if (Getcookie(C_MiNT, &dummy) == C_FOUND) {
+		return(0);
+	}
+
 	/* Check if user asked a different audio driver */
 	if ((envr) && (strcmp(envr, MINT_AUDIO_DRIVER_NAME)!=0)) {
 		DEBUG_PRINT((DEBUG_NAME "user asked a different audio driver\n"));