ref: 340da0da1c7453e25b45b8f9b6b71aa9990bd4f7
parent: 22bbdc48f634a7076ceff5445d81dd7ad08e7ea2
parent: 07a47466eeabc434de5d072855d486493b988121
author: Johann <[email protected]>
date: Wed Aug 20 10:47:29 EDT 2014
Merge "Include vpx_config.h in vpx_timer.h"
--- 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