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