From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752491AbdKHNNV (ORCPT ); Wed, 8 Nov 2017 08:13:21 -0500 Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]:11644 "EHLO mail2-relais-roc.national.inria.fr" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751674AbdKHNNU (ORCPT ); Wed, 8 Nov 2017 08:13:20 -0500 X-IronPort-AV: E=Sophos;i="5.44,364,1505772000"; d="scan'208";a="299902727" Date: Wed, 8 Nov 2017 21:12:50 +0800 (CST) From: Julia Lawall X-X-Sender: jll@hadrien To: Masahiro Yamada cc: nicolas.palix@univ-grenoble-alpes.fr, cocci@systeme.lip6.fr, Linux Kbuild mailing list , Julia Lawall , Linux Kernel Mailing List , Gilles Muller , Michal Marek Subject: Re: [PATCH] coccinelle: fix verbose message about .cocci file being run In-Reply-To: Message-ID: References: <1508993751-17218-1-git-send-email-yamada.masahiro@socionext.com> User-Agent: Alpine 2.20 (DEB 67 2015-01-07) MIME-Version: 1.0 Content-Type: multipart/mixed; BOUNDARY="8323329-284676870-1510146798=:2708" Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org --8323329-284676870-1510146798=:2708 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8BIT On Tue, 7 Nov 2017, Masahiro Yamada wrote: > 2017-10-26 16:22 GMT+09:00 Nicolas Palix (LIG) : > > Le 26/10/17 à 06:55, Masahiro Yamada a écrit : > >> > >> If you run coccicheck with V=1 and COCCI=, you will see a strange > >> path to the semantic patch file. For example, run the following: > >> > >> $ make V=1 COCCI=scripts/coccinelle/free/kfree.cocci coccicheck > >> [ snip ] > >> The semantic patch that makes this report is available > >> in scriptcoccinelle/free/kfree.cocci. > >> > >> Notice "s/" was dropped from "scripts/coccinelle/free/kfree.cocci". > >> > >> When running coccicheck without O=, $srctree is expanded to ".", which > >> represents one arbitrary character in the regular expression. Using > >> sed is not a good choice here. Strip $srctree/ simply without sed. > >> > >> Signed-off-by: Masahiro Yamada > > > > Acked-by: Nicolas Palix > >> > >> --- > > Applied to linux-kbuild/misc. Thanks! julia --8323329-284676870-1510146798=:2708--