diff options
Diffstat (limited to 'openocd/openocd.common.cfg')
| -rw-r--r-- | openocd/openocd.common.cfg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/openocd/openocd.common.cfg b/openocd/openocd.common.cfg index b601cde..188b484 100644 --- a/openocd/openocd.common.cfg +++ b/openocd/openocd.common.cfg @@ -5,6 +5,6 @@ proc optional_local { LOCAL_FILE } { if { [ file exists $LOCAL_FILE ] } { puts "Loading custom local settings from $LOCAL_FILE" - source $LOCAL_FILE + source [find $LOCAL_FILE] } } |