From 30990cc0a6f1488ff58d251eee14775d13d17ebf Mon Sep 17 00:00:00 2001 From: hathach Date: Thu, 9 May 2024 15:37:13 +0700 Subject: [PATCH] build codeql with make --- .github/workflows/codeql-buildscript.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/codeql-buildscript.sh b/.github/workflows/codeql-buildscript.sh index 1e984d7aeb..272b55d228 100644 --- a/.github/workflows/codeql-buildscript.sh +++ b/.github/workflows/codeql-buildscript.sh @@ -3,4 +3,4 @@ FAMILY=stm32l4 pip install click python3 tools/get_deps.py $FAMILY -python3 tools/build.py $FAMILY +python3 tools/build.py -s make $FAMILY