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