media/libogg/update.sh
author Gavin Sharp <gavin@mozilla.com>
Tue, 26 Aug 2008 19:40:21 -0400
changeset 18432 6c7c234319ba58c4dc1d876c22df36631337c6c3
parent 16410 d9167d3c4207f461b551ea7aa509b19bc54be418
child 22426 534ba368b35153a2b8446756b2bf7b17d85177b5
permissions -rw-r--r--
Backed out changeset 7fdbccdc1e94

# Usage: ./update.sh <ogg_src_directory>
#
# 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