summaryrefslogtreecommitdiffstats
path: root/src/vppinfra.am
diff options
context:
space:
mode:
Diffstat (limited to 'src/vppinfra.am')
-rw-r--r--src/vppinfra.am1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/vppinfra.am b/src/vppinfra.am
index 4b9f0c29447..fed1981e8ec 100644
--- a/src/vppinfra.am
+++ b/src/vppinfra.am
@@ -180,6 +180,7 @@ nobase_include_HEADERS = \
vppinfra/graph.h \
vppinfra/hash.h \
vppinfra/heap.h \
+ vppinfra/lock.h \
vppinfra/longjmp.h \
vppinfra/macros.h \
vppinfra/math.h \