> I don't know whether win32-codecs are 100% redundant... maybe play > safe and just alter PKG_SUGGESTED_OPTIONS? Thanks for the extra set of eyes! I see I had changed the wrong one. Also I see that mplayer-share doesn't need PKGREVISION bumped -- as it doesn't use the options.