diff options
Diffstat (limited to 'openocd/openocd.common.cfg')
-rw-r--r-- | openocd/openocd.common.cfg | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/openocd/openocd.common.cfg b/openocd/openocd.common.cfg new file mode 100644 index 0000000..b601cde --- /dev/null +++ b/openocd/openocd.common.cfg @@ -0,0 +1,10 @@ +# Shared openocd script helpers + +# put things like "hla_serial 'asdfadfa'" in openocd.<board>.local.cfg to support +# multiple simultaneously connected boards. +proc optional_local { LOCAL_FILE } { + if { [ file exists $LOCAL_FILE ] } { + puts "Loading custom local settings from $LOCAL_FILE" + source $LOCAL_FILE + } +} |