10 lines
334 B
INI
10 lines
334 B
INI
# 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
|
|
}
|
|
}
|