github-mirror/lkmpg
2
0
Fork 0
mirror of https://github.com/sysprog21/lkmpg.git synced 2024-11-25 17:56:36 +08:00
Code Issues Actions 3 Packages Projects Releases Wiki Activity

Merge pull request #202 from linD026/master

Browse Source 
CI: Switch Smatch source code to GitHub mirror
This commit is contained in:
Jim Huang 2023-05-01 23:48:53 +08:00 committed by GitHub
commit a284eabdb5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.ci/static-analysis.sh
View File

@ -84,13 +84,12 @@ function do_gcc()
function do_smatch() 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 if [ $? -ne 0 ]; then
echo "Failed to download smatch." echo "Failed to download smatch."
exit 1 exit 1
fi fi
tar -xzf master.tar.gz pushd smatch
pushd smatch-master-*
make smatch || exit 1 make smatch || exit 1
local SMATCH=$(pwd)/smatch local SMATCH=$(pwd)/smatch
popd popd