Messages in this thread | | | Date | Sat, 18 Apr 2020 15:37:48 +0200 (CEST) | From | Julia Lawall <> | Subject | Re: [PATCH] scripts: coccicheck: Fix invalid download link |
| |
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 > >
| |