The Linux Kernel Mailing List
 help / color / mirror / Atom feed
* [PATCH] scripts: coccicheck: Fix invalid download link
@ 2020-04-18  9:00 Tiezhu Yang
  2020-04-18 13:37 ` Julia Lawall
  0 siblings, 1 reply; 2+ messages in thread
From: Tiezhu Yang @ 2020-04-18  9:00 UTC (permalink / raw)
  To: Masahiro Yamada, Julia Lawall, Gilles Muller, Nicolas Palix,
	Michal Marek
  Cc: cocci, linux-kernel, Xuefeng Li

When I use coccicheck, it fails with the message "spatch is part of the
Coccinelle project and is available at http://coccinelle.lip6.fr/", but
I can not download the source code of spatch due to the URL [1] was not
found on this server.

Use the download link of GitHub mirror directly to fix it.

[1] http://coccinelle.lip6.fr/distrib/coccinelle-1.0.8.tar.gz

Signed-off-by: Tiezhu Yang <yangtiezhu@loongson.cn>
---
 scripts/coccicheck | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/coccicheck b/scripts/coccicheck
index e04d328..14608a8 100755
--- a/scripts/coccicheck
+++ b/scripts/coccicheck
@@ -11,7 +11,7 @@ DIR="$(dirname $(readlink -f $0))/.."
 SPATCH="`which ${SPATCH:=spatch}`"
 
 if [ ! -x "$SPATCH" ]; then
-    echo 'spatch is part of the Coccinelle project and is available at http://coccinelle.lip6.fr/'
+    echo 'spatch is part of the Coccinelle project and is available at https://github.com/coccinelle/coccinelle/releases'
     exit 1
 fi
 
-- 
2.1.0


^ permalink raw reply related	[flat|nested] 2+ messages in thread

* Re: [PATCH] scripts: coccicheck: Fix invalid download link
  2020-04-18  9:00 [PATCH] scripts: coccicheck: Fix invalid download link Tiezhu Yang
@ 2020-04-18 13:37 ` Julia Lawall
  0 siblings, 0 replies; 2+ messages in thread
From: Julia Lawall @ 2020-04-18 13:37 UTC (permalink / raw)
  To: Tiezhu Yang
  Cc: Masahiro Yamada, Julia Lawall, Gilles Muller, Nicolas Palix,
	Michal Marek, cocci, linux-kernel, Xuefeng Li



On Sat, 18 Apr 2020, Tiezhu Yang wrote:

> When I use coccicheck, it fails with the message "spatch is part of the
> Coccinelle project and is available at http://coccinelle.lip6.fr/", but
> I can not download the source code of spatch due to the URL [1] was not
> found on this server.
>
> Use the download link of GitHub mirror directly to fix it.
>
> [1] http://coccinelle.lip6.fr/distrib/coccinelle-1.0.8.tar.gz

NACK.  I will try to fix the link instead.

Thanks for reporting in any case.

julia

>
> Signed-off-by: Tiezhu Yang <yangtiezhu@loongson.cn>
> ---
>  scripts/coccicheck | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/scripts/coccicheck b/scripts/coccicheck
> index e04d328..14608a8 100755
> --- a/scripts/coccicheck
> +++ b/scripts/coccicheck
> @@ -11,7 +11,7 @@ DIR="$(dirname $(readlink -f $0))/.."
>  SPATCH="`which ${SPATCH:=spatch}`"
>
>  if [ ! -x "$SPATCH" ]; then
> -    echo 'spatch is part of the Coccinelle project and is available at http://coccinelle.lip6.fr/'
> +    echo 'spatch is part of the Coccinelle project and is available at https://github.com/coccinelle/coccinelle/releases'
>      exit 1
>  fi
>
> --
> 2.1.0
>
>

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2020-04-18 13:37 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2020-04-18  9:00 [PATCH] scripts: coccicheck: Fix invalid download link Tiezhu Yang
2020-04-18 13:37 ` Julia Lawall

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox