 +
 +/* This function waits until it is possible to write a full sound buffer */
 +static void REDOXAUD_WaitAudio(_THIS)
-+{
-+	fprintf(stderr, "waitaudio\n");
-+}
++{}
 +
 +static void REDOXAUD_PlayAudio(_THIS)
 +{
-+	fprintf(stderr, "playaudio\n");
-+
 +	int written;
 +
 +	/* Write the audio data */

           esac
         fi
         # Set up files for the thread library
Binary files source/.git/index and source-new/.git/index differ
diff -ruwN source/include/SDL_config.h.in source-new/include/SDL_config.h.in
--- source/include/SDL_config.h.in	2012-01-18 23:30:05.000000000 -0700
+++ source-new/include/SDL_config.h.in	2018-12-29 15:57:00.298520310 -0700

 #undef SDL_VIDEO_DRIVER_PICOGUI
diff -ruwN source/src/audio/redox/SDL_redoxaudio.c source-new/src/audio/redox/SDL_redoxaudio.c
--- source/src/audio/redox/SDL_redoxaudio.c	1969-12-31 17:00:00.000000000 -0700
+++ source-new/src/audio/redox/SDL_redoxaudio.c	2018-12-30 08:49:12.532354653 -0700
@@ -0,0 +1,169 @@
+/*
+    SDL - Simple DirectMedia Layer
+    Copyright (C) 1997-2012 Sam Lantinga
