diff options
| -rwxr-xr-x | resources/scripts/helpers/build/config/corebootmodify | 2 | ||||
| -rwxr-xr-x | resources/scripts/helpers/build/config/corebootreplace | 2 | ||||
| -rwxr-xr-x | resources/scripts/helpers/build/config/corebootupdate | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/resources/scripts/helpers/build/config/corebootmodify b/resources/scripts/helpers/build/config/corebootmodify index 9048c47..4430ff5 100755 --- a/resources/scripts/helpers/build/config/corebootmodify +++ b/resources/scripts/helpers/build/config/corebootmodify @@ -36,7 +36,7 @@ fi cd "../../../coreboot/" for config in ${configs}; do printf "Updating config for %s\n" "${config}" - sleep 5 + sleep 2 if [ ! -d "../resources/libreboot/config/${config}/" ]; then printf "build/config/corebootmodify WARNING: config '%s' does not exist. Skipping.\n" "${config}" diff --git a/resources/scripts/helpers/build/config/corebootreplace b/resources/scripts/helpers/build/config/corebootreplace index 718a3de..ec6b942 100755 --- a/resources/scripts/helpers/build/config/corebootreplace +++ b/resources/scripts/helpers/build/config/corebootreplace @@ -36,7 +36,7 @@ fi cd "../../../coreboot/" for config in ${configs}; do printf "Updating config for %s\n" "${config}" - sleep 5 + sleep 2 make menuconfig diff --git a/resources/scripts/helpers/build/config/corebootupdate b/resources/scripts/helpers/build/config/corebootupdate index 47857c5..6e4ad67 100755 --- a/resources/scripts/helpers/build/config/corebootupdate +++ b/resources/scripts/helpers/build/config/corebootupdate @@ -36,7 +36,7 @@ fi cd "../../../coreboot/" for config in ${configs}; do printf "Updating config for %s\n" "${config}" - sleep 5 + sleep 2 if [ ! -d "../resources/libreboot/config/${config}/" ]; then printf "build/config/corebootupdate WARNING: config '%s' does not exist. Skipping.\n" "${config}" |