 Ivan Grokhotkov
|
12b6da0388
tools: {install,export}.{bat,sh} tools
|
6 years ago |
|
Anton Maklakov
|
983cdcb7f4
add_path.sh: Fix reuse the script
|
7 years ago |
|
Anton Maklakov
|
7c8d5d2782
docs, scripts: Correct the priority of the PATH setting
|
7 years ago |
|
Nicola Lunghi
|
1b3385e51e
add_path.sh: cmake: add tools folder to the path
|
7 years ago |
|
Lourens Naudé
|
3aa2b571ae
Add espcoredump to the add_path shell helper
|
9 years ago |
|
Angus Gratton
|
bab3faba58
add_path.sh: Use non-bash-specific instructions
|
9 years ago |
|
Angus Gratton
|
96852d49c2
Load esptool.py from submodule, currently WIP esptool.py v2.0
|
9 years ago |
|
Angus Gratton
|
d793d23b94
Remove bin/ directory in favour of an add_path.sh script that can be sourced
|
9 years ago |
