# HG changeset patch
# User mru
# Date 1268074479 0
# Node ID 6a89a5f478daf6237cde7a6564251d0c65c4c0f4
# Parent  811467079ec9d493ed82c99a5e45d57d08e02c6a
Skip mpegaudio3.h in checkheaders

This unused header is a placeholder for work in progress(?).

This makes checkheaders pass again.

diff -r 811467079ec9 -r 6a89a5f478da Makefile
--- a/Makefile	Mon Mar 08 18:43:52 2010 +0000
+++ b/Makefile	Mon Mar 08 18:54:39 2010 +0000
@@ -715,6 +715,7 @@
 SKIPHEADERS-$(CONFIG_VAAPI)            += vaapi_internal.h
 SKIPHEADERS-$(CONFIG_VDPAU)            += vdpau.h
 SKIPHEADERS-$(CONFIG_XVMC)             += xvmc.h
+SKIPHEADERS                            += mpegaudio3.h
 
 EXAMPLES = api