diff options
| author | Francis Rowe <info@gluglug.org.uk> | 2015-06-25 17:50:57 +0100 |
|---|---|---|
| committer | Francis Rowe <info@gluglug.org.uk> | 2015-06-25 17:53:00 +0100 |
| commit | cfb4ac12782dfffe39d32b9832ccbb4cd553cc7b (patch) | |
| tree | e8814e4b622d2b898f5f9afc62a61f60bb57a0a7 /resources/scripts/helpers/build | |
| parent | 9b03deac0e7fa09e7f2a19aaf01505579ee28309 (diff) | |
| download | librebootfr-cfb4ac12782dfffe39d32b9832ccbb4cd553cc7b.tar.gz librebootfr-cfb4ac12782dfffe39d32b9832ccbb4cd553cc7b.zip | |
build/config/coreboot{modify,update}: skip non-existent configs
But do not abort. Only issue a warning.
Diffstat (limited to 'resources/scripts/helpers/build')
| -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 |