# 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]
    }
}