Arti Zirk
054740c5de
subrepo: subdir: "libopencm3" merged: "88e91c9a7cce" upstream: origin: "https://github.com/libopencm3/libopencm3.git" branch: "master" commit: "88e91c9a7cce" git-subrepo: version: "0.4.3" origin: "???" commit: "???"
11 lines
334 B
INI
11 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
|
|
}
|
|
}
|