From cd4fe0f718cfc49e5d58f1770e23cd065a26241e Mon Sep 17 00:00:00 2001
From: Elyes HAOUAS <ehaouas@noos.fr>
Date: Fri, 29 Mar 2019 17:12:15 +0100
Subject: src: include <assert.h> when appropriate

Change-Id: Ib843eb7144b7dc2932931b9e8f3f1d816bcc1e1a
Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/26796
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Reviewed-by: David Guckian
---
 src/soc/samsung/exynos5250/alternate_cbfs.c | 1 -
 src/soc/samsung/exynos5250/pinmux.c         | 1 -
 src/soc/samsung/exynos5420/alternate_cbfs.c | 1 -
 src/soc/samsung/exynos5420/pinmux.c         | 1 -
 4 files changed, 4 deletions(-)

(limited to 'src/soc/samsung')

diff --git a/src/soc/samsung/exynos5250/alternate_cbfs.c b/src/soc/samsung/exynos5250/alternate_cbfs.c
index 9fef9ae377..e431672579 100644
--- a/src/soc/samsung/exynos5250/alternate_cbfs.c
+++ b/src/soc/samsung/exynos5250/alternate_cbfs.c
@@ -13,7 +13,6 @@
  * GNU General Public License for more details.
  */
 
-#include <assert.h>
 #include <boot_device.h>
 #include <console/console.h>
 #include <soc/alternate_cbfs.h>
diff --git a/src/soc/samsung/exynos5250/pinmux.c b/src/soc/samsung/exynos5250/pinmux.c
index 10c8c953cd..9ddbea56b2 100644
--- a/src/soc/samsung/exynos5250/pinmux.c
+++ b/src/soc/samsung/exynos5250/pinmux.c
@@ -13,7 +13,6 @@
  * GNU General Public License for more details.
  */
 
-#include <assert.h>
 #include <console/console.h>
 #include <soc/gpio.h>
 #include <soc/pinmux.h>
diff --git a/src/soc/samsung/exynos5420/alternate_cbfs.c b/src/soc/samsung/exynos5420/alternate_cbfs.c
index a1e92a08bc..ba3f9a3c87 100644
--- a/src/soc/samsung/exynos5420/alternate_cbfs.c
+++ b/src/soc/samsung/exynos5420/alternate_cbfs.c
@@ -14,7 +14,6 @@
  */
 
 #include <arch/cache.h>
-#include <assert.h>
 #include <boot_device.h>
 #include <console/console.h>
 #include <soc/alternate_cbfs.h>
diff --git a/src/soc/samsung/exynos5420/pinmux.c b/src/soc/samsung/exynos5420/pinmux.c
index d8c13780a4..999afa0247 100644
--- a/src/soc/samsung/exynos5420/pinmux.c
+++ b/src/soc/samsung/exynos5420/pinmux.c
@@ -13,7 +13,6 @@
  * GNU General Public License for more details.
  */
 
-#include <assert.h>
 #include <soc/gpio.h>
 #include <soc/pinmux.h>
 #include <stdlib.h>
-- 
cgit v1.2.3