#!/bin/bash # SPDX-License-Identifier: GPL-3.0+ # Copyright (C) 2018, Tom Hiller # 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 ############################### ## Copy in bootsplash image ## ############################### if [ -f "$DOCKER_SCRIPT_DIR/bootsplash.jpg" ]; then cp "$DOCKER_SCRIPT_DIR/bootsplash.jpg" "$DOCKER_COREBOOT_DIR/bootsplash.jpg" fi ############## ## make ## ############## cd "$DOCKER_COREBOOT_DIR" || exit; if [ "$COREBOOT_CONFIG" ]; then make nconfig fi make }