diff options
Diffstat (limited to 'platform/linux-generic/Makefile.am')
| -rw-r--r-- | platform/linux-generic/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/platform/linux-generic/Makefile.am b/platform/linux-generic/Makefile.am index c0f3c2f47..ec8225be7 100644 --- a/platform/linux-generic/Makefile.am +++ b/platform/linux-generic/Makefile.am @@ -75,6 +75,7 @@ odpapiabiarchinclude_HEADERS += \ include-abi/odp/api/abi/proto_stats.h \ include-abi/odp/api/abi/proto_stats_types.h \ include-abi/odp/api/abi/pool.h \ + include-abi/odp/api/abi/pool_types.h \ include-abi/odp/api/abi/queue.h \ include-abi/odp/api/abi/queue_types.h \ include-abi/odp/api/abi/rwlock.h \ |