00c58c3725
BASE_BOOTLOADER must have been set to any of the supported bootloader names somewhere during configuration; it is not impossible to avoid this elsewhere so let's put a guardian script which will stop the build which is known to result in a broken image.
7 lines
143 B
Bash
Executable File
7 lines
143 B
Bash
Executable File
#!/bin/sh
|
|
|
|
if [ -z "$GLOBAL_BASE_BOOTLOADER" ]; then
|
|
echo "** error: BASE_BOOTLOADER empty while bootloader feature requested" >&2
|
|
exit 1
|
|
fi
|