#!/bin/bash
|
|
# SPDX-License-Identifier: GPL-3.0+
|
|
|
|
# shellcheck disable=SC1091
|
|
source /home/coreboot/common_scripts/variables.sh
|
|
|
|
################################################################################
|
|
## Copy config and run make
|
|
################################################################################
|
|
function configAndMake() {
|
|
######################
|
|
## Copy config ##
|
|
######################
|
|
if [ -f "$DOCKER_COREBOOT_DIR/.config" ]; then
|
|
echo "Using existing config"
|
|
else
|
|
if [ -f "$DOCKER_SCRIPT_DIR/config-$COREBOOT_COMMIT" ]; then
|
|
cp "$DOCKER_SCRIPT_DIR/config-$COREBOOT_COMMIT" "$DOCKER_COREBOOT_DIR/.config"
|
|
echo "Using config-$COREBOOT_COMMIT"
|
|
elif [ -f "$DOCKER_SCRIPT_DIR/config-$COREBOOT_TAG" ]; then
|
|
cp "$DOCKER_SCRIPT_DIR/config-$COREBOOT_TAG" "$DOCKER_COREBOOT_DIR/.config"
|
|
echo "Using config-$COREBOOT_TAG"
|
|
else
|
|
cp "$DOCKER_SCRIPT_DIR/config" "$DOCKER_COREBOOT_DIR/.config"
|
|
echo "Using default config"
|
|
fi
|
|
fi
|
|
|
|
#################################
|
|
## Copy in the X230 VGA BIOS ##
|
|
#################################
|
|
if [ -f "$DOCKER_SCRIPT_DIR/pci8086,0166.rom" ]; then
|
|
cp "$DOCKER_SCRIPT_DIR/pci8086,0166.rom" "$DOCKER_COREBOOT_DIR/pci8086,0166.rom"
|
|
fi
|
|
|
|
##############
|
|
## make ##
|
|
##############
|
|
cd "$DOCKER_COREBOOT_DIR" || exit;
|
|
|
|
if [ "$COREBOOT_CONFIG" ]; then
|
|
make nconfig
|
|
fi
|
|
|
|
make
|
|
}
|