Received: by 2002:a05:6a10:16a7:0:0:0:0 with SMTP id gp39csp436289pxb; Thu, 19 Nov 2020 05:16:07 -0800 (PST) X-Google-Smtp-Source: ABdhPJznxhT2Yh+YX48j8fYrZQdzHUnSo8MOBKc2otc9LTV1dVkZEsbKdfokQsrl3iLEH90NSFuZ X-Received: by 2002:a17:906:7cc6:: with SMTP id h6mr27115540ejp.161.1605791767674; Thu, 19 Nov 2020 05:16:07 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1605791767; cv=none; d=google.com; s=arc-20160816; b=kmAIyA8PLidbUwWuSira5Hp3jYYS4dtnTz5BZlzhH3Ibzj/4d31SYQlUjjvWhNuiZ+ nPaA9m7DZgMUDvEf6MZFCnwIi/D7APmC4Y/vgDVLVVScmVGRUW6i0Iv2kR9PhSELjpws B4PWv7HrefJ8aVERtIt/NzOHxvv9oQU+1WXwMsUIPl6bnVbJnGh0VzIDd7M6q1Sin5no XRLskcf8jJAE9DaNbZ0q98xCyf2XBTDv1LF+G2Zi/RCwQX6MRakQxgLTyyta17wn8cuD BwKpA3Z+iHu1Cs0cbyhSIQS3IsEef+DHQak4tluVy7ZwElFihlbFAVLNCmVYl8vc4T6S j2qg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:content-disposition:mime-version:message-id :subject:cc:to:from:date:dkim-signature; bh=y39Ja2Qa+p03XEnu3YP7k8KD0CyXh3oLYmik5VnqQLk=; b=FqvikUHgbiKd3wN0XLv+m9R7UQxgTqwy9NReXRCijbAdyKCJ1Gf1Ay46C02G+0z8WH GWx1G+W0GpdP2SjAYqtMQy8f1lIxQBH+jjOuLbVrjPhA6zJOIGM4Y9VAQFEB8r8LZflr ba+30TjrdYudsj0uHx7Wg2x4yS4JfPlfBkQI3GCYJdtjElauYBX8sUCeBkME5Mj/e5my XkrhAAOWU4Q1tH262eIeguJL/gPyqz2r9V1dt+dT2fkU9Fp8GOCE6Ef/rzWWdyHGbXtv hGu7rxQK0SSf6vFt+Fm4SJH4FQ/DORC9h0UAunGgWjdljwVayOazVsxAUZ2TQS7wkYIn kQIw== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=bTyNnkBy; 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; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id r8si18431153edi.606.2020.11.19.05.15.44; Thu, 19 Nov 2020 05:16:07 -0800 (PST) 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=@gmail.com header.s=20161025 header.b=bTyNnkBy; 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; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1727701AbgKSNOZ (ORCPT + 99 others); Thu, 19 Nov 2020 08:14:25 -0500 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:52172 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1727160AbgKSNOZ (ORCPT ); Thu, 19 Nov 2020 08:14:25 -0500 Received: from mail-pg1-x541.google.com (mail-pg1-x541.google.com [IPv6:2607:f8b0:4864:20::541]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 70939C0613CF; Thu, 19 Nov 2020 05:14:25 -0800 (PST) Received: by mail-pg1-x541.google.com with SMTP id j19so4180748pgg.5; Thu, 19 Nov 2020 05:14:25 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:cc:subject:message-id:mime-version:content-disposition; bh=y39Ja2Qa+p03XEnu3YP7k8KD0CyXh3oLYmik5VnqQLk=; b=bTyNnkBySDQVrsd4b1nzl2+6VTopPh8yIZSxu/mVi46eMI2/wbHEgidQbJlfH1XkKC /RI/t9gk29e64kidByzhHiBM0m28q+BnK5X4zPEy1v7lLj62UBznWAVhXL6I1iJJGcpA ZBRdWpj5u9Y1E211iG9NkevS8yWY7qCxsFc3VLw9AGBUXNhXAPBbONKcMGv2r91Ect6N 5RtxQlyNBtTIvAYcDoPHUAi8CUOIbz5QsmqIxwkhY1+vSYwu0LVQPWuazBxCtAB6//IV JVw5+fgrw0kfB340cpTCMW1v7XMYmbBVzPqLHIDEABtoapm1kaJ11iM0tOu8lzB7sMuJ bxsA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:cc:subject:message-id:mime-version :content-disposition; bh=y39Ja2Qa+p03XEnu3YP7k8KD0CyXh3oLYmik5VnqQLk=; b=E/hySzQ+IzRnhDEOH9lCSfPVJx0JFK63iRRtWprkslqYlm9uLpO5tPFt6vzM6EYJ2v 4PimJ9mdav6QrqbsbpdirbKjzyrZ8Io8LQ9U6ILScR4k+epWOeNJQpS+ymuuZNZRxAYk f/HSVkEgMJ8xaMi70wSrw0JdbwTwfIjc+TfTarRn4zbv72JtrKBDUay9QTJEtTYgjoE7 2TMiQAnMXe7bNRcZxYmv3cC0+OncCNyEs2kRNB174lOq7tED+7Eh3lAfR7t6rcv0hG1c 9/2XSJzCxEavI5RWZGUgLi7ZDWLZM1V4VWc98ayiXbiQ80eAzuxXLn9L9KFFmrzltUvQ 6fZA== X-Gm-Message-State: AOAM532Q6tjB1TwlcYw0W0bSDt0HSJeDyqWg9CZF86mbnoq0Q7IRsqLX BeLeqfPX1+fzMmboy+y+THE= X-Received: by 2002:a17:90a:b782:: with SMTP id m2mr4608363pjr.185.1605791664993; Thu, 19 Nov 2020 05:14:24 -0800 (PST) Received: from adolin ([49.207.204.100]) by smtp.gmail.com with ESMTPSA id m2sm5218994pgv.0.2020.11.19.05.14.20 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 19 Nov 2020 05:14:24 -0800 (PST) Date: Thu, 19 Nov 2020 18:44:19 +0530 From: Sumera Priyadarsini To: Julia.Lawall@lip6.fr Cc: corbet@lwn.net, cocci@systeme.lip6.fr, linux-doc@vger.kernel.org, linux-kernel@vger.kernel.org, michal.lkml@markovi.net, nicolas.palix@imag.fr, Gilles.Muller@lip6.fr Subject: [PATCH] Documentation: Coccinelle: Improve command example for debugging patches Message-ID: <20201119131419.ygiqhzg5cezif5ow@adolin> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Modify Coccinelle documentation to clarify usage of make command to run coccicheck on a single file. Signed-off-by: Sumera Priyadarsini --- Documentation/dev-tools/coccinelle.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Documentation/dev-tools/coccinelle.rst b/Documentation/dev-tools/coccinelle.rst index 74c5e6aeeff5..9e60cf175fd6 100644 --- a/Documentation/dev-tools/coccinelle.rst +++ b/Documentation/dev-tools/coccinelle.rst @@ -224,7 +224,7 @@ you may want to use:: rm -f err.log export COCCI=scripts/coccinelle/misc/irqf_oneshot.cocci - make coccicheck DEBUG_FILE="err.log" MODE=report SPFLAGS="--profile --show-trying" M=./drivers/mfd/arizona-irq.c + make C=2 CHECK=scripts/coccicheck DEBUG_FILE="err.log" MODE=report SPFLAGS="--profile --show-trying" ./drivers/mfd/arizona-irq.c err.log will now have the profiling information, while stdout will provide some progress information as Coccinelle moves forward with -- 2.25.1