Merge branch 'man' into 'master'

Test fix to openjdk install failure. See merge request !3

Merge branch 'man' into 'master'
Test fix to openjdk install failure. See merge request !3
f39717c4 · godog · 3dc57bc2 · a43939c7 · f39717c4
Commit f39717c4 authored Dec 18, 2020 by godog
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

build.sh build.sh +3 -0

No files found.
--- a/build.sh
+++ b/build.sh
@@ -70,6 +70,9 @@ EOF

 apt-get update

+# Fix openjdk-11 install failure. #955619
+install -d /usr/share/man/man1
+
 # If we do not install a JRE before ES, the installation will fail (huh?)...
 install_packages default-jre-headless
 install_packages ${PACKAGES}