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