diff options
author | 2016-06-17 21:13:04 -0500 | |
---|---|---|
committer | 2016-06-17 21:16:46 -0500 | |
commit | ea158d46051c9f2d10dfd15895dc96cd2240de5a (patch) | |
tree | 55f93e4e42e5372c6097d3a2d504dea6855d1441 /nsh-plugin/nsh | |
parent | 4928fda10e118ac7eecc296d04b8c93f9078f369 (diff) |
Have verify.sh use build.sh so verify checks user code path
Change-Id: Iadc3b1cec27d994daf6bc096c2230be19b565655
Signed-off-by: Ed Warnicke <eaw@cisco.com>
Diffstat (limited to 'nsh-plugin/nsh')
0 files changed, 0 insertions, 0 deletions