# PICO_BOARD could be pico or pico2

BOARDFLAG=-DPICO_BOARD=pico2

(cd examples/ex0_no_freertos/;          rm -rf build; mkdir -p build; cd build; cmake .. $BOARDFLAG; make -j 8; ls)
(cd examples/ex1_task_hello/;           rm -rf build; mkdir -p build; cd build; cmake .. $BOARDFLAG; make -j 8; ls)
(cd examples/ex2_read_input/;           rm -rf build; mkdir -p build; cd build; cmake .. $BOARDFLAG; make -j 8; ls)
(cd examples/ex3_producer_consumer/;    rm -rf build; mkdir -p build; cd build; cmake .. $BOARDFLAG; make -j 8; ls)
(cd examples/ex4_mutex/;                rm -rf build; mkdir -p build; cd build; cmake .. $BOARDFLAG; make -j 8; ls)
(cd examples/ex5_metrics/;              rm -rf build; mkdir -p build; cd build; cmake .. $BOARDFLAG; make -j 8; ls)
(cd examples/ex6_reboot_to_bootloader/; rm -rf build; mkdir -p build; cd build; cmake .. $BOARDFLAG; make -j 8; ls)