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 <yangtie...@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

_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to