summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorGerd Hoffmann <kraxel@redhat.com>2018-08-30 16:41:12 +0200
committerGerd Hoffmann <kraxel@redhat.com>2018-08-30 16:41:12 +0200
commitcf27cf836f651a912e822320d9d302f69d443f0c (patch)
tree8bfaeb316864258f2f8a3b2ad34b8dd6fc2c5351
parent2173a419f3d01254050f83f98e0706897351597e (diff)
downloadkconfig-cf27cf836f651a912e822320d9d302f69d443f0c.tar.gz
skip unsupported options
-rwxr-xr-xkconfig4
1 files changed, 3 insertions, 1 deletions
diff --git a/kconfig b/kconfig
index 842672c..427ecc9 100755
--- a/kconfig
+++ b/kconfig
@@ -88,12 +88,14 @@ function do_apply() {
yes "" | $make oldconfig >/dev/null
if grep -q "$option is not set" .config; then
do_print "$option" "$value" "applied"
- else
+ elif grep -q "${option}[= ]" .config; then
do_print "$option" "$value" "FAIL"
echo "--"
grep "${option}[= ]" .config
echo "--"
exit 1
+ else
+ do_print "$option" "o" "not supported by kernel"
fi
;;
"#"*) ;;