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 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 \ |