diff options
Diffstat (limited to 'openocd/openocd.common.cfg')
-rw-r--r-- | openocd/openocd.common.cfg | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/openocd/openocd.common.cfg b/openocd/openocd.common.cfg deleted file mode 100644 index 188b484..0000000 --- a/openocd/openocd.common.cfg +++ /dev/null @@ -1,10 +0,0 @@ -# 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 [find $LOCAL_FILE] - } -} |