From 8c2ef06096fe3c06d6e001579785b7f1c4593a4a Mon Sep 17 00:00:00 2001 From: Brian <89487381+b4yuan@users.noreply.github.com> Date: Mon, 27 Nov 2023 11:28:17 -0500 Subject: [PATCH] Update CodeQL build script --- .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 d6bce68961..bada8d93bf 100755 --- a/.github/workflows/codeql-buildscript.sh +++ b/.github/workflows/codeql-buildscript.sh @@ -13,6 +13,6 @@ source .venv/bin/activate python3 -m pip install wheel python3 -m pip install -r tools/mcuboot/requirements.txt -cmake -Bbuild -GNinja -DNRF5_SDK_PATH=$(realpath nRF5_SDK_15.3.0_59ac345) \ +cmake -Bbuild -DNRF5_SDK_PATH=$(realpath nRF5_SDK_15.3.0_59ac345) \ -DARM_NONE_EABI_TOOLCHAIN_PATH=$(dirname $(dirname $(realpath $(which arm-none-eabi-gcc)))) cmake --build build -t pinetime-app