diff -r 000000000000 -r 6474c204b198 media/libogg/update.sh --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/media/libogg/update.sh Wed Dec 31 06:09:35 2014 +0100 @@ -0,0 +1,18 @@ +# Usage: ./update.sh +# +# Copies the needed files from a directory containing the original +# libogg source that we need for the Mozilla HTML5 media support. +cp $1/include/ogg/config_types.h ./include/ogg/config_types.h +cp $1/include/ogg/ogg.h ./include/ogg/ogg.h +cp $1/include/ogg/os_types.h ./include/ogg/os_types.h +cp $1/CHANGES ./CHANGES +cp $1/COPYING ./COPYING +cp $1/README ./README +cp $1/src/bitwise.c ./src/ogg_bitwise.c +cp $1/src/framing.c ./src/ogg_framing.c +cp $1/AUTHORS ./AUTHORS +patch -p0 < solaris-types.patch +# memory-reporting.patch adds ogg_alloc.c, make sure it doesn't exist to avoid +# unpleasantries. +rm -f ./src/ogg_alloc.c +patch -p0 < memory-reporting.patch \ No newline at end of file