diff options
| author | Michał Masłowski <mtjm@mtjm.eu> | 2014-08-22 23:54:02 +0200 |
|---|---|---|
| committer | Michał Masłowski <mtjm@mtjm.eu> | 2014-08-22 23:54:02 +0200 |
| commit | 4e8051dfaa0ba5617961481056eb7e79d7b50861 (patch) | |
| tree | ea3408536606e85efcb516a515f566e925b95b0b /buildrom-withgrub | |
| parent | 7e626a1d7edc18b06b80eae0440971280d3827de (diff) | |
| download | librebootfr-4e8051dfaa0ba5617961481056eb7e79d7b50861.tar.gz librebootfr-4e8051dfaa0ba5617961481056eb7e79d7b50861.zip | |
Avoid unnecessary failures in build scripts.
We should use set -e in future to detect earlier more significant
failures.
Diffstat (limited to 'buildrom-withgrub')
| -rwxr-xr-x | buildrom-withgrub | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/buildrom-withgrub b/buildrom-withgrub index c7eb2802..faa785d8 100755 --- a/buildrom-withgrub +++ b/buildrom-withgrub @@ -39,7 +39,7 @@ cd coreboot rm -rf .config # cbfstool will be used quite heavily here. -mv util/cbfstool/cbfstool . +[[ -f cbfstool ]] || mv util/cbfstool/cbfstool . # prepare libreboot configuration and build it cp ../resources/libreboot/config/$1/config .config @@ -84,16 +84,20 @@ cp ../resources/grub/config/$1/grub_serial_usqwerty.cfg . for keymap in $(ls ../resources/grub/keymap/original) do + if [[ "$keymap" != usqwerty ]]; then # copy the ROM based on the keymap cp libreboot_usqwerty.rom libreboot_"$keymap".rom cp libreboot_serial_usqwerty.rom libreboot_serial_"$keymap".rom + fi done for keymap in $(ls ../resources/grub/keymap/original) do + if [[ "$keymap" != usqwerty ]]; then # copy the config based on the keymap: cp grub_usqwerty.cfg grub_"$keymap".cfg cp grub_serial_usqwerty.cfg grub_serial_"$keymap".cfg + fi done for keymap in $(ls ../resources/grub/keymap/original) |