diff options
author | Paul Fertser <fercerpav@gmail.com> | 2015-08-07 11:29:38 +0300 |
---|---|---|
committer | Paul Fertser <fercerpav@gmail.com> | 2015-11-30 10:11:16 +0000 |
commit | 893de2fe95d77aad598ceaa8149e50f9253da0d9 (patch) | |
tree | b1aa570ad9f9aa109a61bfed6bff384b5c22d79f /.gitignore | |
parent | 8b140fd724e96392b5903f00eab24ec801c7dcc9 (diff) |
xsvf: output a warning suggesting using SVF
Change-Id: Iff13019aa96c528268a2be029b4acd65a00a598e
Signed-off-by: Paul Fertser <fercerpav@gmail.com>
Reviewed-on: http://openocd.zylin.com/2907
Tested-by: jenkins
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions