diff options
| -rw-r--r-- | policy-jdk/pom.xml | 3 | ||||
| -rw-r--r-- | policy-jre/pom.xml | 3 |
2 files changed, 6 insertions, 0 deletions
diff --git a/policy-jdk/pom.xml b/policy-jdk/pom.xml index f0959453..e02d1d1b 100644 --- a/policy-jdk/pom.xml +++ b/policy-jdk/pom.xml @@ -47,7 +47,10 @@ <profile> <id>docker</id> <modules> + <!-- pretty frequently, alpine fails to build, so removing + it for now <module>alpine</module> + --> <module>debian-slim</module> </modules> </profile> diff --git a/policy-jre/pom.xml b/policy-jre/pom.xml index 7e494937..cc0d588d 100644 --- a/policy-jre/pom.xml +++ b/policy-jre/pom.xml @@ -46,7 +46,10 @@ <profile> <id>docker</id> <modules> + <!-- pretty frequently, alpine fails to build, so removing + it for now <module>alpine</module> + --> <module>debian-slim</module> </modules> </profile> |