diff options
| author | Girts <girtsf@users.noreply.github.com> | 2016-11-05 14:38:55 -0700 |
|---|---|---|
| committer | Freddie Chopin <freddie.chopin@gmail.com> | 2017-04-23 21:38:41 +0100 |
| commit | b90d58db07459a353d20b052bd1e4732fec03aa5 (patch) | |
| tree | c57fb0ac47c94217a06f73e66b1f8c47eb207de5 /tcl/board/marsohod3.cfg | |
| parent | f63af76466234cc905df6ea8e0f3fb5284c2058d (diff) | |
helper/options.c: fail if unexpected cmdline arguments are present
Previously openocd would silently ignore any incorrect arguments.
Change-Id: Ibb40b57b8a9e07d191215486f3b3c4920a9963c7
Signed-off-by: Girts Folkmanis <opensource@girts.me>
Reviewed-on: http://openocd.zylin.com/3879
Tested-by: jenkins
Reviewed-by: Tomas Vanek <vanekt@fbl.cz>
Diffstat (limited to 'tcl/board/marsohod3.cfg')
0 files changed, 0 insertions, 0 deletions