Move java api to extras/

[vpp.git] / src / vppinfra.am

diff --git a/src/vppinfra.am b/src/vppinfra.am
index 840ce27..57f7a1f 100644 (file)
--- 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 \