From patchwork Sat May 21 11:41:28 2016 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Andrea Gelmini X-Patchwork-Id: 9130347 Return-Path: Received: from mail.wl.linuxfoundation.org (pdx-wl-mail.web.codeaurora.org [172.30.200.125]) by pdx-korg-patchwork.web.codeaurora.org (Postfix) with ESMTP id 7741460762 for ; Sat, 21 May 2016 11:41:42 +0000 (UTC) Received: from mail.wl.linuxfoundation.org (localhost [127.0.0.1]) by mail.wl.linuxfoundation.org (Postfix) with ESMTP id 699E927B89 for ; Sat, 21 May 2016 11:41:42 +0000 (UTC) Received: by mail.wl.linuxfoundation.org (Postfix, from userid 486) id 5E94B28114; Sat, 21 May 2016 11:41:42 +0000 (UTC) X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on pdx-wl-mail.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-6.8 required=2.0 tests=BAYES_00,DKIM_SIGNED, RCVD_IN_DNSWL_HI,T_DKIM_INVALID autolearn=ham version=3.3.1 Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by mail.wl.linuxfoundation.org (Postfix) with ESMTP id D9FF927B89 for ; Sat, 21 May 2016 11:41:41 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752105AbcEULlg (ORCPT ); Sat, 21 May 2016 07:41:36 -0400 Received: from mail-lf0-f65.google.com ([209.85.215.65]:33372 "EHLO mail-lf0-f65.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1750941AbcEULlf (ORCPT ); Sat, 21 May 2016 07:41:35 -0400 Received: by mail-lf0-f65.google.com with SMTP id z203so620776lfd.0; Sat, 21 May 2016 04:41:34 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:from:to:cc:subject:date:message-id; bh=EOZmqcofZ3zQKtuKiZ7WbNT0Vlj7ilH62ry0FIcYEDc=; b=CZI3MxvnPVSWSI/ZqElPu+wzPRMEsnyf3Wk2Zqgc2sFVgMHsraH3+sekXJb0Ba1CTg +askmj9Dylji2aSQYzkTcM3zMmsIRX8zLSQ5o0Tk0r/BYxtd4NU0WIMfHNRGbqPDwoTi gs1VLOprZPkMp2eOaQ+u27w4uCgJEB8eyoCPMo7o15TkFkmZmKKR6PO5C2AjCKBae6uN b1mP9agACPjnNEA7LmBhGpu519KHJdwnGwG6UX+BXB7jS2W0cw6l+fZNxlIszaAmOdEr BgkaZe9R1aeEw3atQctM1mRLSYM1JLaqeHEdO+V57RObm+6TZ4J56z/a1qIBccsJ9QNk xE8g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:sender:from:to:cc:subject:date:message-id; bh=EOZmqcofZ3zQKtuKiZ7WbNT0Vlj7ilH62ry0FIcYEDc=; b=IjJY6eFDcRjzYfjiE1HyKSrMtMdsG0e5j9+RLqAhJdEMXQWRW0kccYFVolDIF/uTMb EFSKn1QVo2CMRAE2wWDyrrpIfcdO3FQ43/3Pb5Y6eg0qC2IDXPHNFCyOUa/4VOOoBq2o 3zsxI3PxAHy0/9xH4ryT37gXS52cPFeizoie5TNR89wWDjVlTRarSskhh9r6Pij6ZAG9 LZfkkuvXzkYpMuOESZ+dXNqV0bWgDbgKRQCggcKtN4jkLQHs2DCXdcxkTzfLgnMBeFYI t8vMWOnIEnNyaHSQ/wSHIfKdqrSoNm6VfQdR+Ody0U26IQpKYXcJ//CTjp1p8ejBB4IK rJGQ== X-Gm-Message-State: AOPr4FX1ji+VOAIucqSFeGlKhT8O4J73RKuiovv9ENb2F1c/Q/TIbPHv+1b+p+JSiLfTww== X-Received: by 10.25.28.66 with SMTP id c63mr2390637lfc.79.1463830893343; Sat, 21 May 2016 04:41:33 -0700 (PDT) Received: from glen.ipredator.se (anon-35-25.vpn.ipredator.se. [46.246.35.25]) by smtp.gmail.com with ESMTPSA id tk3sm4036282lbb.45.2016.05.21.04.41.30 (version=TLS1_2 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Sat, 21 May 2016 04:41:32 -0700 (PDT) From: Andrea Gelmini To: andrea.gelmini@gelma.net Cc: trivial@kernel.org, yann.morin.1998@free.fr, mmarek@suse.com, corbet@lwn.net, linux-kbuild@vger.kernel.org, linux-doc@vger.kernel.org Subject: [PATCH 0044/1529] Fix typo Date: Sat, 21 May 2016 13:41:28 +0200 Message-Id: <20160521114128.1197-1-andrea.gelmini@gelma.net> X-Mailer: git-send-email 2.8.2.534.g1f66975 Sender: linux-kbuild-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kbuild@vger.kernel.org X-Virus-Scanned: ClamAV using ClamSMTP Signed-off-by: Andrea Gelmini --- Documentation/kbuild/kconfig-language.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Documentation/kbuild/kconfig-language.txt b/Documentation/kbuild/kconfig-language.txt index c52856d..14783c7 100644 --- a/Documentation/kbuild/kconfig-language.txt +++ b/Documentation/kbuild/kconfig-language.txt @@ -511,7 +511,7 @@ the use of the xconfig configurator [1]. Work should be done to confirm if the deduced semantics matches our intended Kconfig design goals. Having well defined semantics can be useful for tools for practical -evaluation of depenencies, for instance one such use known case was work to +evaluation of dependencies, for instance one such use known case was work to express in boolean abstraction of the inferred semantics of Kconfig to translate Kconfig logic into boolean formulas and run a SAT solver on this to find dead code / features (always inactive), 114 dead features were found in