diff options
| author |   Ed Warnicke <hagbard@gmail.com> | 2016-11-22 17:57:30 +0000 |
|---|---|---|
| committer |   Damjan Marion <dmarion.lists@gmail.com> | 2016-11-29 17:35:44 +0000 |
| commit | ddff8a4ee423cf76b14278edee75d5fa369300c0 (patch) | |
| tree | 812dcb6e2b33f55d3c2cd7b66a22c4797656e996 /vppinfra/.gitignore | |
| parent | cfce8fa44378cb6843a8e9f5bb6aff8dd5fc5cf7 (diff) | |
Have make verify check deb and rpm builds
Change-Id: I7fe3558118835240ecd155609821f9de2d609553
Signed-off-by: Ed Warnicke <hagbard@gmail.com>
Diffstat (limited to 'vppinfra/.gitignore')
0 files changed, 0 insertions, 0 deletions