diff options
| -rw-r--r-- | plugins/infiniband/Makefile.common | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/plugins/infiniband/Makefile.common b/plugins/infiniband/Makefile.common index 8ce24543fc..147ef613b6 100644 --- a/plugins/infiniband/Makefile.common +++ b/plugins/infiniband/Makefile.common @@ -30,3 +30,6 @@ PLUGIN_NAME = infiniband DISSECTOR_SRC = \ packet-infiniband.c +DISSECTOR_INCLUDES = \ + packet-infiniband.h + |