1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-01-17 22:52:45 +01:00
RIOT/dist/tools/openocd
Kaspar Schleiser f451eb692c
Merge pull request #13452 from aabadie/pr/tools/openocd_config_export
tools/openocd: only export OPENOCD_CONFIG to required targets
2020-02-25 15:11:38 +01:00
..
openocd.sh Merge pull request #13452 from aabadie/pr/tools/openocd_config_export 2020-02-25 15:11:38 +01:00