From 837060b28d2897ce9be4ab298dad9dcb139bd732 Mon Sep 17 00:00:00 2001 From: Tim Crawford Date: Fri, 4 Dec 2020 12:37:33 -0700 Subject: [PATCH] Remove now unneeded reconfig script With .config generated at build time, there is no need to keep this script. --- scripts/reconfig.sh | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100755 scripts/reconfig.sh diff --git a/scripts/reconfig.sh b/scripts/reconfig.sh deleted file mode 100755 index 5bf0281..0000000 --- a/scripts/reconfig.sh +++ /dev/null @@ -1,16 +0,0 @@ -#!/usr/bin/env bash - -set -e - -rm -rf build -for config in models/*/coreboot.config -do - model="$(basename "$(dirname "$config")")" - echo -e "\e[1m$model\e[0m" - make -C coreboot distclean - cp -v "$config" coreboot/.config - make -C coreboot oldconfig - cp -v coreboot/.config "$config" -done - -echo -e "\e[1mReconfig complete, please commit changes\e[0m"