diff options
Diffstat (limited to 'resources')
| -rwxr-xr-x | resources/scripts/helpers/build/config/corebootmodify | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/scripts/helpers/build/config/corebootmodify b/resources/scripts/helpers/build/config/corebootmodify index 38ab34be..367f868f 100755 --- a/resources/scripts/helpers/build/config/corebootmodify +++ b/resources/scripts/helpers/build/config/corebootmodify @@ -33,7 +33,7 @@ hackconfig () { if [ ! -d "../resources/libreboot/config/grub/${1}/" ]; then printf "build/config/corebootmodify WARNING: config '%s' does not exist. Skipping.\n" "${1}" - continue + return fi mv "../resources/libreboot/config/grub/${1}/config" ".config" |