diff options
-rwxr-xr-x | scripts/make.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/make.sh b/scripts/make.sh index 06dec156..ef0a7050 100755 --- a/scripts/make.sh +++ b/scripts/make.sh @@ -7,6 +7,9 @@ export LC_ALL=C set -o pipefail source ./configure +[ ! -z "$CROSS_COMPILE" ] && [ ! -e "$CROSS_COMPILE"cc ] && + echo "missing ${CROSS_COMPILE}cc" && exit 1 + [ -z "$KCONFIG_CONFIG" ] && KCONFIG_CONFIG=.config [ -z "$OUTNAME" ] && OUTNAME=toybox UNSTRIPPED="generated/unstripped/$(basename "$OUTNAME")" |