diff options
| author | jaseg <git@jaseg.net> | 2018-07-17 15:43:26 +0200 |
|---|---|---|
| committer | jaseg <git@jaseg.net> | 2018-07-17 15:43:26 +0200 |
| commit | 6df66b77ba5b27bce5630694742f2dac57b8d3eb (patch) | |
| tree | fc14370fdea41b6d7a672758aa89886b9107f78c /openocd/openocd.common.cfg | |
| parent | 90ce052d82daa86e1e86ab4dac7fbba0cdda8680 (diff) | |
| download | olsndot-6df66b77ba5b27bce5630694742f2dac57b8d3eb.tar.gz olsndot-6df66b77ba5b27bce5630694742f2dac57b8d3eb.tar.bz2 olsndot-6df66b77ba5b27bce5630694742f2dac57b8d3eb.zip | |
Isolate usb-serial-rs485 tree
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] - } -} |