On Di, Aug 09, 2011 at 01:39:30 (CEST), Timo Juhani Lindfors wrote: > as I predicted, simply rebuilding mplayer allows me to play ogg vorbis > again. This confirms my suspicion that this is actualy a toolchain issue. Arm porters, can you comment on this, please? -- Gruesse/greetings, Reinhard Tartler, KeyID 945348A4