diff options
Diffstat (limited to 'scripts/kconfig/merge_config.sh')
-rwxr-xr-x | scripts/kconfig/merge_config.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/kconfig/merge_config.sh b/scripts/kconfig/merge_config.sh index 2118af84e661..88d89b2986db 100755 --- a/scripts/kconfig/merge_config.sh +++ b/scripts/kconfig/merge_config.sh | |||
@@ -85,6 +85,11 @@ fi | |||
85 | INITFILE=$1 | 85 | INITFILE=$1 |
86 | shift; | 86 | shift; |
87 | 87 | ||
88 | if [ ! -r "$INITFILE" ]; then | ||
89 | echo "The base file '$INITFILE' does not exist. Exit." >&2 | ||
90 | exit 1 | ||
91 | fi | ||
92 | |||
88 | MERGE_LIST=$* | 93 | MERGE_LIST=$* |
89 | SED_CONFIG_EXP="s/^\(# \)\{0,1\}\(CONFIG_[a-zA-Z0-9_]*\)[= ].*/\2/p" | 94 | SED_CONFIG_EXP="s/^\(# \)\{0,1\}\(CONFIG_[a-zA-Z0-9_]*\)[= ].*/\2/p" |
90 | TMP_FILE=$(mktemp ./.tmp.config.XXXXXXXXXX) | 95 | TMP_FILE=$(mktemp ./.tmp.config.XXXXXXXXXX) |