From 16e0656b2db5aab82f853e3877e23ebb50f6c6cb Mon Sep 17 00:00:00 2001 From: Chih-En Lin Date: Mon, 1 May 2023 23:26:17 +0800 Subject: [PATCH] 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/ --- .ci/static-analysis.sh | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) 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 -- 2.39.5