diff options
| author | Diego Biurrun <diego@biurrun.de> | 2011-06-05 01:59:14 +0200 |
|---|---|---|
| committer | Diego Biurrun <diego@biurrun.de> | 2011-06-05 16:01:01 +0200 |
| commit | ef5d7e18f4be8f36afc1034369849bff980ad9b1 (patch) | |
| tree | 141d0630310b1ed4b6b28d258e7a3c706d8d98f0 /tools | |
| parent | fb8648ad4b94abd119ae75b174f578aaacbbfd55 (diff) | |
| download | ffmpeg-ef5d7e18f4be8f36afc1034369849bff980ad9b1.tar.gz | |
Skip tableprint.h during 'make checkheaders'.
It is only used on the host and may not compile on the target.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions