#!/bin/sh export PICO_SDK_PATH=/home/thomas/Software/rpi-pico/pico-sdk mkdir -p build cd build cmake -DCMAKE_EXPORT_COMPILE_COMMANDS=1 .. make $@