diff options
| author |   Dave Wallace <dwallacelf@gmail.com> | 2019-04-09 20:19:51 -0400 |
|---|---|---|
| committer |   Paul Vinciguerra <pvinci@vinciconsulting.com> | 2019-05-06 20:49:32 +0000 |
| commit | 3e9b7a219df7ba52db719af5216a44b31f21f770 (patch) | |
| tree | 0e6e5c991597b3f1e5e5c7d56775bb6bd01a9869 /.gitignore | |
| parent | ad64687e8bc3e208797ce1d5b16936f51d6cf632 (diff) | |
make test: Fix truncated core file
- Wait for coredump to complete before killing VPP.
Change-Id: Ib7b96b339f796f9ef7e0eadff81d181464b8a03a
Signed-off-by: Dave Wallace <dwallacelf@gmail.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions