diff options
| author |   Ed Warnicke <eaw@cisco.com> | 2016-06-17 21:13:04 -0500 |
|---|---|---|
| committer | Ed Warnicke <eaw@cisco.com> | 2016-06-17 21:16:46 -0500 |
| commit | ea158d46051c9f2d10dfd15895dc96cd2240de5a (patch) | |
| tree | 55f93e4e42e5372c6097d3a2d504dea6855d1441 /vagrant | |
| 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 'vagrant')
0 files changed, 0 insertions, 0 deletions