#!/bin/bash
|
#
|
# Copyright (c) 2023 Rockchip Electronics Co., Ltd
|
#
|
# SPDX-License-Identifier: GPL-2.0
|
#
|
|
set -e
|
|
if [ -f dts/kern.dtb ]; then
|
if ! grep -Eq 'CONFIG_EMBED_KERNEL_DTB=y' .config ; then
|
echo "ERROR: dts/kern.dtb was found, but CONFIG_EMBED_KERNEL_DTB is disabled."
|
exit 1
|
fi
|
fi
|
|
if grep -Eq 'CONFIG_EMBED_KERNEL_DTB=y' .config ; then
|
KDTB=`sed -n "/CONFIG_EMBED_KERNEL_DTB_PATH=/s/CONFIG_EMBED_KERNEL_DTB_PATH=//p" .config | tr -d '\r' | tr -d '"'`
|
if [ ! -f ${KDTB} ]; then
|
echo "ERROR: '${KDTB}' was not found assigned by CONFIG_EMBED_KERNEL_DTB_PATH."
|
exit 1
|
fi
|
fi
|
