-
Michael Stahl yazdı
On Fedora it often happens that the $JAVA_HOME directory is not actually deleted but contains a bunch of ".rpmnew" and ".rpmsave" files in jre/lib/security - so check that the "include" directory exists. Change-Id: I34bf945b346e79dbe6f1a6e96ba1ba5139ff8f13 Reviewed-on: https://gerrit.libreoffice.org/28491Tested-by: Jenkins <ci@libreoffice.org> Reviewed-by: Michael Stahl <mstahl@redhat.com>
1ae5c5ea