raspberrypi / pico-setup

92 stars 42 forks source link

Picotool repository is cloned 3x when running for the first time #41

Open P33M opened 4 weeks ago

P33M commented 4 weeks ago

It's also built 3x in the following locations -

pi@raspberrypi:~/pico $ ls -R -1  | grep picotool-*\:
./pico-examples/build_pico/_deps/picotool:
./pico-examples/build_pico/pico-sdk/src/rp2040/boot_stage2/picotool:
./pico-examples/build_pico2/_deps/picotool:
./pico-examples/build_pico2/pico-sdk/src/rp2350/boot_stage2/picotool:
./picoprobe/build/_deps/picotool:
./picoprobe/build/pico-sdk/src/rp2040/boot_stage2/picotool:

Should one of the earlier steps be to do a direct clone, then make & install?