diff options
| author |   Paul Vinciguerra <pvinci@vinciconsulting.com> | 2018-10-26 05:55:18 -0700 |
|---|---|---|
| committer |   Damjan Marion <dmarion@me.com> | 2019-11-07 21:40:47 +0000 |
| commit | 86a9441c2c477d6a4e6735276117e5dbca6c173c (patch) | |
| tree | 2e8bf99dc98501a1cf99c9afe5f4d393575a2b47 /src/vppinfra/maplog.h | |
| parent | d58419f19b33560d224471bc16674a525427308e (diff) | |
build: Fix 3rd party CI systems.
Commit https://gerrit.fd.io/r/#/c/15525/ breaks 3rd party CI jobs.
This suggests an alternative solution that supports both use cases.
Type: feature
Change-Id: I966210cf4594651735e6a8bffa32dd52b4539a13
Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
Diffstat (limited to 'src/vppinfra/maplog.h')
0 files changed, 0 insertions, 0 deletions