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 /extras/vpp_config/setup.py | |
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 'extras/vpp_config/setup.py')
0 files changed, 0 insertions, 0 deletions