From 73cfc4207ddb173ee0f647d946df554b6e99de32 Mon Sep 17 00:00:00 2001 From: Michael de Lang Date: Fri, 29 Nov 2019 23:59:55 +0100 Subject: [PATCH] Add necessary ogg file to compilation of sdl2_mixer (#9913) --- tools/ports/sdl2_mixer.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/ports/sdl2_mixer.py b/tools/ports/sdl2_mixer.py index b7a8a04e40e8e..076ecf0046074 100644 --- a/tools/ports/sdl2_mixer.py +++ b/tools/ports/sdl2_mixer.py @@ -34,7 +34,7 @@ def create(): final = os.path.join(dest_path, libname) ports.build_port(dest_path, final, [], ['-DOGG_MUSIC', '-s', 'USE_VORBIS=1'], ['dynamic_flac', 'dynamic_fluidsynth', 'dynamic_mod', 'dynamic_modplug', 'dynamic_mp3', - 'dynamic_ogg', 'fluidsynth', 'load_mp3', 'music_cmd', 'music_flac', 'music_mad', 'music_mod', + 'fluidsynth', 'load_mp3', 'music_cmd', 'music_flac', 'music_mad', 'music_mod', 'music_modplug', 'playmus.c', 'playwave.c'], ['external', 'native_midi', 'timidity']) return final