Convert CONFIG_SPLASH_SCREEN et al to Kconfig
[platform/kernel/u-boot.git] / include / configs / ids8313.h
index 3274ff6..bcd8aee 100644 (file)
@@ -11,6 +11,8 @@
 #ifndef __CONFIG_H
 #define __CONFIG_H
 
+#include <linux/stringify.h>
+
 /*
  * High Level Configuration Options
  */