diff options
-rw-r--r-- | scripts/multiconfig.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/scripts/multiconfig.sh b/scripts/multiconfig.sh index a579042..49fcfad 100644 --- a/scripts/multiconfig.sh +++ b/scripts/multiconfig.sh @@ -118,6 +118,13 @@ do_board_defconfig () { defconfig_path=$srctree/configs/$1 tmp_defconfig_path=configs/.tmp_defconfig + if [ ! -r $defconfig_path ]; then + echo >&2 "***" + echo >&2 "*** Can't find default configuration \"confis/$1\"!" + echo >&2 "***" + exit 1 + fi + mkdir -p arch configs # defconfig for Normal: # pick lines without prefixes and lines starting '+' prefix |