diff options
| author | Jonathan Larmour <jifl@eCosCentric.com> | 2015-10-06 21:47:35 +0100 |
|---|---|---|
| committer | Freddie Chopin <freddie.chopin@gmail.com> | 2015-11-03 22:19:36 +0000 |
| commit | 03e240f3bfb973968961c1ed21cac748f0d771da (patch) | |
| tree | d19dc7bd6c4229ae0eb8a59d9850fe5da47ff223 /doc | |
| parent | d651d7109f368f66eba481404e9d063ec1219a69 (diff) | |
| download | riscv-openocd-03e240f3bfb973968961c1ed21cac748f0d771da.zip riscv-openocd-03e240f3bfb973968961c1ed21cac748f0d771da.tar.gz riscv-openocd-03e240f3bfb973968961c1ed21cac748f0d771da.tar.bz2 | |
helper/options: Use OPENOCD_SCRIPTS dir if set.
This makes it easier to relocate the install tree of OpenOCD from where
it was originally built (for example, if put onto a different machine),
without having to change scripts or add something to the command line
every time.
Change-Id: Ia5edf0eba166f7a999f267bd6a92402dab9b399e
Signed-off-by: Jonathan Larmour <jifl@eCosCentric.com>
Reviewed-on: http://openocd.zylin.com/3004
Tested-by: jenkins
Reviewed-by: Spencer Oliver <spen@spen-soft.co.uk>
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/openocd.texi | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/openocd.texi b/doc/openocd.texi index 0608a28..1248727 100644 --- a/doc/openocd.texi +++ b/doc/openocd.texi @@ -700,6 +700,7 @@ Configuration files and scripts are searched for in @item any search dir specified on the command line using the @option{-s} option, @item any search dir specified using the @command{add_script_search_dir} command, @item @file{$HOME/.openocd} (not on Windows), +@item a directory in the @env{OPENOCD_SCRIPTS} environment variable (if set), @item the site wide script library @file{$pkgdatadir/site} and @item the OpenOCD-supplied script library @file{$pkgdatadir/scripts}. @end enumerate |