ref: 07a47466eeabc434de5d072855d486493b988121
parent: cfd53a24796c6524475a767bfe072136de705f69
author: Johann <[email protected]>
date: Mon Aug 18 07:02:16 EDT 2014
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
--- a/vpx_ports/vpx_timer.h
+++ b/vpx_ports/vpx_timer.h
@@ -11,6 +11,9 @@
#ifndef VPX_PORTS_VPX_TIMER_H_
#define VPX_PORTS_VPX_TIMER_H_
+
+#include "./vpx_config.h"
+
#include "vpx/vpx_integer.h"
#if CONFIG_OS_SUPPORT