Let's add pico and local CodeQL modes.

Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
2024-01-02 20:51:08 +01:00
parent de4d95beb8
commit 215221b30e
2 changed files with 6 additions and 1 deletions
--- a/workflows/autobuild.sh
+++ b/workflows/autobuild.sh
@@ -9,5 +9,9 @@ git submodule update --init
 cd ..
 mkdir build
 cd build
+if [[ $1 == "pico" ]]; then
 cmake -DPICO_SDK_PATH=../pico-sdk ..
+else
+cmake -DENABLE_EMULATION=1 ..
+fi
 make