diff options
| author | Elyes HAOUAS <ehaouas@noos.fr> | 2019-03-29 17:12:15 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2019-04-23 10:01:36 +0000 |
| commit | cd4fe0f718cfc49e5d58f1770e23cd065a26241e (patch) | |
| tree | a1b335fc76f89e79480456e3c6cd1672f4eefb2c /src/soc/samsung | |
| parent | 351e3e520ba71b4aafaf930af37f78b71c1d7251 (diff) | |
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
Diffstat (limited to 'src/soc/samsung')
| -rw-r--r-- | src/soc/samsung/exynos5250/alternate_cbfs.c | 1 | ||||
| -rw-r--r-- | src/soc/samsung/exynos5250/pinmux.c | 1 | ||||
| -rw-r--r-- | src/soc/samsung/exynos5420/alternate_cbfs.c | 1 | ||||
| -rw-r--r-- | src/soc/samsung/exynos5420/pinmux.c | 1 |
4 files changed, 0 insertions, 4 deletions
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> |