diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2018-11-11 11:32:12 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2018-11-11 11:32:12 +0100 |
| commit | 867d9de690c77b232af843106779523fe5d370cc (patch) | |
| tree | 3571ecf43e594c1917ab38669f73210129b356ec /doc/local.mk | |
| parent | 4cd6ab1b1f6808b9146105a81a2b28620939aa44 (diff) | |
gnu: openocd: Use INVOKE.
* gnu/packages/embedded.scm (openocd)[arguments]: Use INVOKE and return #T
unconditionally.
Diffstat (limited to 'doc/local.mk')
0 files changed, 0 insertions, 0 deletions