Received: by 2002:a25:1985:0:0:0:0:0 with SMTP id 127csp1961835ybz; Sat, 18 Apr 2020 12:12:44 -0700 (PDT) X-Google-Smtp-Source: APiQypIuJoMbeUeZamY1wXcfRbjZRe84FTkjlLa0y8EgI5IfOcCdL6Qe4OLv28qjMfHtyZ5C0Osz X-Received: by 2002:a17:906:158c:: with SMTP id k12mr8978354ejd.7.1587237164699; Sat, 18 Apr 2020 12:12:44 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1587237164; cv=none; d=google.com; s=arc-20160816; b=gSAOSWotY7IoKibts3CJfgqit1QLGLmUqXGmxGeCVHA9BcRrz8/a8gtSvwgKHB/0AF 0LMJJ1tHU2rG2XeiagCBLm/WDoYb3GQMe2Vlt6kyVFyJlHHgMUL3eNj0xGGsiGLIJJdu rcsgNubupbhf3taiBLSt5vs9R+n7H9KjbVFVK1oaa1WNf4SnAZtR1aWGowwWjqT42/Fd 3l3LZKxLMLNg4wJd1YIK19eZ/emfkBasPCvhK+AWAu1heuCe0CHiN7DNZ8P1A54ADQDG vVdgUpULKoYej8lwDOcfSPY5pPYJndUROtGivhC5D5YZyjYExRh2dJsqcetzQLE3FceZ ZE6w== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:mime-version:user-agent:references :message-id:in-reply-to:subject:cc:to:from:date:dkim-signature :dkim-signature; bh=IB9OJhcMZkfzwp6IvPrBr9bBN8CoI8R3/vBKW0x9M7I=; b=f11LFyhn2lo6PcOi73DSOf9kTH5aCO8FX5w1hVbkO+VRm5wFPgx1rujgKN4p1gmy45 nw/Oe2pMRQH33GYJtyFqxR6yg1PH4O2KIuzg485BWIn5CIdhJOq2T/wvK/GsaEZt3v3u E7ASokklwZQX5REWKa7D0Jxg/VcS6z9khR9X9/g4aA2+fy5M3ChsBtSGrf/ZL45AwEY8 irLrqYmNBh8iw230NY92Qi/18cPdgNOCjkj54tDELpguHoZJPAWwFnUAqppxBjED3Lh7 Eri0UoqRU+3jJ2jw4SIeg7E5GOEhNAuJdQPNSKPKzM8AiIvhVE6Qys/ZeqzggRWZqq06 1D7A== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@pobox.com header.s=sasl header.b=ZLJbYg4n; dkim=temperror (no key for signature) header.i=@fluxnic.net header.s=2016-12.pbsmtp header.b=unAv7lpB; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id bz1si14434071ejc.368.2020.04.18.12.12.21; Sat, 18 Apr 2020 12:12:44 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18; Authentication-Results: mx.google.com; dkim=pass header.i=@pobox.com header.s=sasl header.b=ZLJbYg4n; dkim=temperror (no key for signature) header.i=@fluxnic.net header.s=2016-12.pbsmtp header.b=unAv7lpB; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1728051AbgDRTLX (ORCPT + 99 others); Sat, 18 Apr 2020 15:11:23 -0400 Received: from pb-smtp20.pobox.com ([173.228.157.52]:58167 "EHLO pb-smtp20.pobox.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726751AbgDRTLW (ORCPT ); Sat, 18 Apr 2020 15:11:22 -0400 Received: from pb-smtp20.pobox.com (unknown [127.0.0.1]) by pb-smtp20.pobox.com (Postfix) with ESMTP id AC690C0F89; Sat, 18 Apr 2020 15:11:20 -0400 (EDT) (envelope-from nico@fluxnic.net) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=pobox.com; h=date:from:to :cc:subject:in-reply-to:message-id:references:mime-version :content-type; s=sasl; bh=VZi9Lq6WjEW2CMj7HADAyLMP9ZI=; b=ZLJbYg 4nliaG/wB0lpsHa9Ci3Ow858DxY3MSXbTL18SlWGyEOyg3pYK/1u/hodTrFUc2Zh Pt8Muie1h9OY4vYRcfU48T2E23QAW11LwUri+mhm8h6gpdZJHAnu3n3wzbJFDDLm b1LrWxyhFeW1Z2U1kqesZRruoqrGAfu6m9iWc= Received: from pb-smtp20.sea.icgroup.com (unknown [127.0.0.1]) by pb-smtp20.pobox.com (Postfix) with ESMTP id A322EC0F88; Sat, 18 Apr 2020 15:11:20 -0400 (EDT) (envelope-from nico@fluxnic.net) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=fluxnic.net; h=date:from:to:cc:subject:in-reply-to:message-id:references:mime-version:content-type; s=2016-12.pbsmtp; bh=tENhMTZ0DxDYPUZYBdHPCEQinqDZrI5H7ppeCRcGjKI=; b=unAv7lpBJ5hzW6YKxPPwiJaNbdzqxPfBLiZD0AZwW/+b0DjQD2STZ8xXtXxgO2/QDAcgR7LPXneVP9p5rJyAtdcNbD4PqSz/e5RTfd5AHN65Nek3vt0+2ZpaeS3kjoGzIpk1ue+PSNGlrK7rXV/rABLIbpo0yWip+9oe8GdYQb8= Received: from yoda.home (unknown [24.203.50.76]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by pb-smtp20.pobox.com (Postfix) with ESMTPSA id 9CC5CC0F87; Sat, 18 Apr 2020 15:11:17 -0400 (EDT) (envelope-from nico@fluxnic.net) Received: from xanadu.home (xanadu.home [192.168.2.2]) by yoda.home (Postfix) with ESMTPSA id 9E36C2DA0A70; Sat, 18 Apr 2020 15:11:15 -0400 (EDT) Date: Sat, 18 Apr 2020 15:11:15 -0400 (EDT) From: Nicolas Pitre To: Masahiro Yamada cc: Saeed Mahameed , Linux Kbuild mailing list , Arnd Bergmann , Jason Gunthorpe , Jani Nikula , Neil Armstrong , Laurent Pinchart , Leon Romanovsky , Kieran Bingham , jonas@kwiboo.se, David Airlie , jernej.skrabec@siol.net, Linux Kernel Mailing List , Networking , linux-rdma@vger.kernel.org Subject: Re: [RFC PATCH 1/2] Kconfig: Introduce "uses" keyword In-Reply-To: Message-ID: References: <20200417011146.83973-1-saeedm@mellanox.com> User-Agent: Alpine 2.21 (LFD 202 2017-01-01) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII X-Pobox-Relay-ID: 61636EB6-81A8-11EA-ACEA-B0405B776F7B-78420484!pb-smtp20.pobox.com Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Sun, 19 Apr 2020, Masahiro Yamada wrote: > (FOO || !FOO) is difficult to understand, but > the behavior of "uses FOO" is as difficult to grasp. Can't this be expressed as the following instead: depends on FOO if FOO That would be a little clearer. Nicolas