summaryrefslogtreecommitdiff
path: root/plat/common
diff options
context:
space:
mode:
authorSoby Mathew <soby.mathew@arm.com>2018-12-12 15:54:47 +0000
committerGitHub <noreply@github.com>2018-12-12 15:54:47 +0000
commitc0940083bc6e7d30fb8b0828adac5a3715d3e9f1 (patch)
tree4063fc81c35ff02862d5955e7d31e9ef4ed9ceae /plat/common
parentfd809dc8d86bfe46a6dca528630f42985fa62828 (diff)
parent6336b07ad25cb05ca75f5a465d816af7956e0a59 (diff)
Merge pull request #1708 from Yann-lms/warnings
Add possibility to add compilation warnings
Diffstat (limited to 'plat/common')
-rw-r--r--plat/common/plat_log_common.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/plat/common/plat_log_common.c b/plat/common/plat_log_common.c
index 49e1c152..c757c6bf 100644
--- a/plat/common/plat_log_common.c
+++ b/plat/common/plat_log_common.c
@@ -5,6 +5,7 @@
*/
#include <debug.h>
+#include <platform.h>
/* Allow platforms to override the log prefix string */
#pragma weak plat_log_get_prefix