From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-lb0-f181.google.com ([209.85.217.181]:37299 "EHLO mail-lb0-f181.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752591AbaIAHQr (ORCPT ); Mon, 1 Sep 2014 03:16:47 -0400 Subject: [PATCH v2 2/4] scripts/config: add option for changing output for undefined options From: Konstantin Khlebnikov Date: Mon, 01 Sep 2014 11:16:32 +0400 Message-ID: <20140901071632.28909.31322.stgit@zurg> In-Reply-To: <20140901065916.28909.35097.stgit@zurg> References: <20140901065916.28909.35097.stgit@zurg> MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 7bit Sender: linux-kbuild-owner@vger.kernel.org List-ID: To: Michal Marek , linux-kernel@vger.kernel.org, linux-kbuild@vger.kernel.org Cc: Paul Bolle , Geert Uytterhoeven This patch adds command line option '--if-undef' which replaces string 'undef' in output of next command '--state' with whatever you want. Also it adds grep key -s to suppress error messages about nonexistent file. Signed-off-by: Konstantin Khlebnikov --- scripts/config | 15 ++++++++++++--- 1 file changed, 12 insertions(+), 3 deletions(-) diff --git a/scripts/config b/scripts/config index 026aeb4..178652c 100755 --- a/scripts/config +++ b/scripts/config @@ -6,6 +6,9 @@ myname=${0##*/} # If no prefix forced, use the default CONFIG_ CONFIG_="${CONFIG_-CONFIG_}" +# Output for undefined options +UNDEF="undef" + usage() { cat >&2 <