From 68768260e867a9638f5bb0b5f37a2bcf4c1a34d1 Mon Sep 17 00:00:00 2001 From: Thomas Martitz Date: Mon, 3 Mar 2014 20:26:08 +0100 Subject: Fix more reds. Change-Id: I4b58dda0953b7f9799238c32b78037b0a5403c04 --- firmware/target/arm/pbell/vibe500/button-vibe500.c | 1 + 1 file changed, 1 insertion(+) (limited to 'firmware/target/arm/pbell/vibe500/button-vibe500.c') diff --git a/firmware/target/arm/pbell/vibe500/button-vibe500.c b/firmware/target/arm/pbell/vibe500/button-vibe500.c index 54b4d2dbb1..9afc9eecab 100644 --- a/firmware/target/arm/pbell/vibe500/button-vibe500.c +++ b/firmware/target/arm/pbell/vibe500/button-vibe500.c @@ -21,6 +21,7 @@ ****************************************************************************/ #include "system.h" +#include "kernel.h" #include "button.h" #include "backlight.h" #include "powermgmt.h" -- cgit v1.2.3