diff options
author | Gerd Hoffmann <kraxel@redhat.com> | 2018-08-30 16:41:12 +0200 |
---|---|---|
committer | Gerd Hoffmann <kraxel@redhat.com> | 2018-08-30 16:41:12 +0200 |
commit | cf27cf836f651a912e822320d9d302f69d443f0c (patch) | |
tree | 8bfaeb316864258f2f8a3b2ad34b8dd6fc2c5351 | |
parent | 2173a419f3d01254050f83f98e0706897351597e (diff) | |
download | kconfig-cf27cf836f651a912e822320d9d302f69d443f0c.tar.gz |
skip unsupported options
-rwxr-xr-x | kconfig | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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 ;; "#"*) ;; |