Skip to content

Commit

Permalink
Update clean-tools
Browse files Browse the repository at this point in the history
Since we're not attempting a reinstall in CI can just remove entire tree
  • Loading branch information
mikee47 committed Jul 15, 2024
1 parent 84c8b74 commit 25be61b
Showing 1 changed file with 3 additions and 4 deletions.
7 changes: 3 additions & 4 deletions Tools/ci/clean-tools.py
Original file line number Diff line number Diff line change
Expand Up @@ -20,10 +20,9 @@
# These filters are matched from the **start** of the path so there's an implicit .* at the end
FILTERS = {
IDF_TOOLS_PATH: [
# Leave versioned directory to avoid re-installation
r'.*esp-elf-gdb/.*/.*esp-elf-gdb/',
r'esp32ulp-elf/.*/esp32ulp-elf/',
r'openocd-esp32/.*/openocd-esp32/',
r'tools/.*esp-elf-gdb/',
r'tools/esp32ulp-elf/',
r'tools/openocd-esp32/',
# Libraries not required by Sming
# r'.*/riscv32-esp-elf/lib/{ARC}',
r'.*/riscv32-esp-elf/lib/rv32i_.*',
Expand Down

0 comments on commit 25be61b

Please sign in to comment.