author Andrew Halberstadt <>
Thu, 05 May 2016 17:21:12 -0400
changeset 364414 654d411978a76776ee96e616c5f3369a026e0be4
parent 172785 54c0440b476fd741f2b075ffe2633f145a8780a0
permissions -rw-r--r--
Bug 1270506 - [mozlint] Add python flake8 linter, r?smacleod For now, only the following two directories will be linted: python/mozlint tools/lint New directories can be added by adding them to the 'include' directive in tools/lint/flake8.lint. They all default to the configuration specified in topsrcdir/.flake8. Subdirectories can override this configuration by creating their own .flake8 file. MozReview-Commit-ID: Eag48Lnkp3l

# Usage: ./ <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/src/bitwise.c ./src/ogg_bitwise.c
cp $1/src/framing.c ./src/ogg_framing.c
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