diff options
Diffstat (limited to 'infra/pom.xml')
| -rw-r--r-- | infra/pom.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/infra/pom.xml b/infra/pom.xml index 7ff1b8e9a..0d25de530 100644 --- a/infra/pom.xml +++ b/infra/pom.xml @@ -49,6 +49,7 @@ <module>rpc</module> <module>minimal-distribution-test</module> <module>bgp-distribution-test</module> + <module>minimal-distribution-core</module> </modules> <!-- DO NOT install or deploy the repo root pom as it's only needed to initiate a build --> |