Include vpx_config.h in vpx_timer.h
authorJohann <johannkoenig@google.com>
Mon, 18 Aug 2014 18:02:16 +0000 (11:02 -0700)
committerJohann <johannkoenig@google.com>
Mon, 18 Aug 2014 18:02:16 +0000 (11:02 -0700)
commit07a47466eeabc434de5d072855d486493b988121
treec072d4abb08678357dc3319a9de97b51e63a9221
parentcfd53a24796c6524475a767bfe072136de705f69
Include vpx_config.h in vpx_timer.h

vpx_timer.h uses several defines from the config file including
CONFIG_OS_SUPPORT and INLINE

Change-Id: I16cb45237787cbc1ae79a67e16b8042811dda336
vpx_ports/vpx_timer.h