vpx/vpx_ports
Johann 07a47466ee 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
2014-08-18 11:02:16 -07:00
..
2014-01-23 19:42:59 -08:00
2013-12-16 19:41:10 -08:00
2013-12-16 19:41:10 -08:00
2014-07-29 17:36:39 -07:00
2014-02-11 17:24:03 -08:00
2014-06-12 19:57:25 -07:00
2014-08-12 16:51:07 -07:00