diff options
| -rwxr-xr-x | resources/scripts/helpers/build/config/corebootmodify | 5 | ||||
| -rwxr-xr-x | resources/scripts/helpers/build/config/corebootupdate | 5 |
2 files changed, 10 insertions, 0 deletions
diff --git a/resources/scripts/helpers/build/config/corebootmodify b/resources/scripts/helpers/build/config/corebootmodify index bfb6a033..9048c47d 100755 --- a/resources/scripts/helpers/build/config/corebootmodify +++ b/resources/scripts/helpers/build/config/corebootmodify @@ -37,6 +37,11 @@ cd "../../../coreboot/" for config in ${configs}; do printf "Updating config for %s\n" "${config}" sleep 5 + + if [ ! -d "../resources/libreboot/config/${config}/" ]; then + printf "build/config/corebootmodify WARNING: config '%s' does not exist. Skipping.\n" "${config}" + continue + fi mv "../resources/libreboot/config/${config}/config" ".config" make menuconfig diff --git a/resources/scripts/helpers/build/config/corebootupdate b/resources/scripts/helpers/build/config/corebootupdate index fa0a1fe4..47857c56 100755 --- a/resources/scripts/helpers/build/config/corebootupdate +++ b/resources/scripts/helpers/build/config/corebootupdate @@ -37,6 +37,11 @@ cd "../../../coreboot/" for config in ${configs}; do printf "Updating config for %s\n" "${config}" sleep 5 + + if [ ! -d "../resources/libreboot/config/${config}/" ]; then + printf "build/config/corebootupdate WARNING: config '%s' does not exist. Skipping.\n" "${config}" + continue + fi mv "../resources/libreboot/config/${config}/config" ".config" make oldconfig |