fix rpi-pico builds when running it twice

it needed to be make-cleaned

Signed-off-by: Leah Rowe <leah@libreboot.org>
btrfsvols
Leah Rowe 2023-09-03 17:36:42 +01:00
parent c63052cf19
commit 1dc54608a1
1 changed files with 1 additions and 0 deletions

View File

@ -36,6 +36,7 @@ main()
cd ${src_dir} cd ${src_dir}
cmake -DPICO_SDK_PATH=${sdk_dir} . cmake -DPICO_SDK_PATH=${sdk_dir} .
make clean
make make
mkdir -p ${serprog_release_dir} mkdir -p ${serprog_release_dir}