diff options
Diffstat (limited to 'openocd/openocd.stm32f072disco.cfg')
| -rw-r--r-- | openocd/openocd.stm32f072disco.cfg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/openocd/openocd.stm32f072disco.cfg b/openocd/openocd.stm32f072disco.cfg index b7cc25b..f43f168 100644 --- a/openocd/openocd.stm32f072disco.cfg +++ b/openocd/openocd.stm32f072disco.cfg @@ -2,7 +2,7 @@ source [find interface/stlink-v2.cfg] set WORKAREASIZE 0x4000 source [find target/stm32f0x.cfg] -source openocd.common.cfg +source [find openocd.common.cfg] optional_local "openocd.stm32f072disco.local.cfg" # no trace on cm0 |