From: Chih-En Lin <shiyn.lin@gmail.com>
Date: Mon, 1 May 2023 15:26:17 +0000 (+0800)
Subject: CI: Switch Smatch source code to GitHub mirror
X-Git-Tag: latest~31^2
X-Git-Url: https://www.ivnss.com/gitweb/?a=commitdiff_plain;h=16e0656b2db5aab82f853e3877e23ebb50f6c6cb;p=lkmpg

CI: Switch Smatch source code to GitHub mirror

Since the Smatch repository is unavailable recently [1], let's switch
to GitHub mirror, https://github.com/error27/smatch.git [2], instead
of using https://repo.or.cz/smatch.git.

[1] https://lore.kernel.org/all/Y1qf7w%2Fjo8FH5I8G@kadam/
[2] https://lore.kernel.org/all/20220810105926.GS3460@kadam/
---

diff --git a/.ci/static-analysis.sh b/.ci/static-analysis.sh
index 148e388..5b60f8e 100755
--- a/.ci/static-analysis.sh
+++ b/.ci/static-analysis.sh
@@ -84,13 +84,12 @@ function do_gcc()
 
 function do_smatch()
 {
-    wget -q https://repo.or.cz/smatch.git/snapshot/refs/heads/master.tar.gz
+    git clone https://github.com/error27/smatch.git --depth=1
     if [ $? -ne 0 ]; then
         echo "Failed to download smatch."
         exit 1
     fi
-    tar -xzf master.tar.gz
-    pushd smatch-master-*
+    pushd smatch
     make smatch || exit 1
     local SMATCH=$(pwd)/smatch
     popd