diff options
| -rwxr-xr-x | script/build/release/src | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/script/build/release/src b/script/build/release/src index d425638c..c6cd595d 100755 --- a/script/build/release/src +++ b/script/build/release/src @@ -174,8 +174,8 @@ purge_files() err "purge_files rm-rf2: can't purge .git files/directories" rm -Rf cbutils || err "purge_files: can't remove ${srcdir}/cbutils/" rm -Rf elf || err "purge_files: can't remove ${srcdir}/elf/" - rm -Rf util-fw/rp2040/pico-serprog/build - || err "purge_files: can't remove pico-serprog/build" + rm -Rf util-fw/rp2040/pico-serprog/build || \ + err "purge_files: can't remove pico-serprog/build" ) } |