diff options
authorGuillaume Tucker <>2019-09-02 16:18:36 +0100
committerMasahiro Yamada <>2019-09-04 23:12:50 +0900
commit60bef52c7a68257048f34ce32b8300def71a3de0 (patch)
parent54b8ae66ae1a3454a7645d159a482c31cd89ab33 (diff) ignore unwanted grep errors
The script verifies that all the config options have their expected value in the resulting file and prints any issues as warnings. These checks aren't intended to be treated as errors given the current implementation. However, since "set -e" was added, if the grep command to look for a config option does not find it the script will then abort prematurely. Handle the case where the grep exit status is non-zero by setting ACTUAL_VAL to an empty string to restore previous functionality. Fixes: cdfca821571d (" Check error codes from make") Signed-off-by: Guillaume Tucker <> Acked-by: Jon Hunter <> Tested-by: Jon Hunter <> Signed-off-by: Masahiro Yamada <>
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/kconfig/ b/scripts/kconfig/
index bec246719aea..63c8565206a4 100755
--- a/scripts/kconfig/
+++ b/scripts/kconfig/
for CFG in $(sed -n -e "$SED_CONFIG_EXP1" -e "$SED_CONFIG_EXP2" $TMP_FILE); do
REQUESTED_VAL=$(grep -w -e "$CFG" $TMP_FILE)
- ACTUAL_VAL=$(grep -w -e "$CFG" "$KCONFIG_CONFIG")
+ ACTUAL_VAL=$(grep -w -e "$CFG" "$KCONFIG_CONFIG" || true)
if [ "x$REQUESTED_VAL" != "x$ACTUAL_VAL" ] ; then
echo "Value requested for $CFG not in final .config"
echo "Requested value: $REQUESTED_VAL"