#!/bin/bash

source ./kernel_config_utils.sh

proc_config_gz_check() {
    is_error=false
    if ! kernel_config_check CONFIG_IKCONFIG configs; then
        is_error=true
    fi
    if ! kernel_config_check CONFIG_IKCONFIG_PROC; then
        is_error=true
    fi
    if [ "$is_error" == "true" ]; then
        return 1
    fi

    if ! [ -e /proc/config.gz ]; then
        echo "missing file /proc/config.gz"
        return 1
    fi

    return 0
}

