From 6df66b77ba5b27bce5630694742f2dac57b8d3eb Mon Sep 17 00:00:00 2001
From: jaseg <git@jaseg.net>
Date: Tue, 17 Jul 2018 15:43:26 +0200
Subject: Isolate usb-serial-rs485 tree

---
 openocd/openocd.common.cfg | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100644 openocd/openocd.common.cfg

(limited to 'openocd/openocd.common.cfg')

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