Messages in this thread Patch in this message | | | From | Tiezhu Yang <> | Subject | [PATCH] scripts: coccicheck: Fix invalid download link | Date | Sat, 18 Apr 2020 17:00:08 +0800 |
| |
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
| |