diff options
Diffstat (limited to 'src/vppinfra.am')
| -rw-r--r-- | src/vppinfra.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/vppinfra.am b/src/vppinfra.am index 840ce27fb5a..57f7a1f7e3b 100644 --- a/src/vppinfra.am +++ b/src/vppinfra.am @@ -237,6 +237,7 @@ nobase_include_HEADERS = \ vppinfra/memcpy_avx512.h \ vppinfra/mhash.h \ vppinfra/mheap.h \ + vppinfra/mheap_bootstrap.h \ vppinfra/os.h \ vppinfra/pipeline.h \ vppinfra/pool.h \ |