1 files changed, 10 insertions, 0 deletions
diff --git a/openocd/openocd.common.cfg b/openocd/openocd.common.cfg
new file mode 100644
index 0000000..b601cde
--- /dev/null
+++ b/openocd/openocd.common.cfg
@@ -0,0 +1,10 @@
+# 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
+    }
+}