1#!/bin/bash 2# 3# Copyright (c) 2023 Rockchip Electronics Co., Ltd 4# 5# SPDX-License-Identifier: GPL-2.0 6# 7 8set -e 9 10if [ -f dts/kern.dtb ]; then 11 if ! grep -Eq 'CONFIG_EMBED_KERNEL_DTB=y' .config ; then 12 echo "ERROR: dts/kern.dtb was found, but CONFIG_EMBED_KERNEL_DTB is disabled." 13 exit 1 14 fi 15fi 16 17if grep -Eq 'CONFIG_EMBED_KERNEL_DTB=y' .config ; then 18 KDTB=`sed -n "/CONFIG_EMBED_KERNEL_DTB_PATH=/s/CONFIG_EMBED_KERNEL_DTB_PATH=//p" .config | tr -d '\r' | tr -d '"'` 19 if [ ! -f ${KDTB} ]; then 20 echo "ERROR: '${KDTB}' was not found assigned by CONFIG_EMBED_KERNEL_DTB_PATH." 21 exit 1 22 fi 23fi 24