On 07/09/2013 08:23 AM, Andreas Tille wrote: > Hi, > > On Tue, Jul 09, 2013 at 07:52:54AM +0200, Olivier Sallou wrote: >>> On Mon, Jul 08, 2013 at 02:00:25PM +0200, olivier.sal...@codeless.fr wrote: >>>> This could be related to JAVA_HOME not being set in environment >>> Naive question: If I use pbuilder - how to setup JAVA_HOME? Shouldn't >>> this work >>> out of the box without any requirement to environment variables? >> It runs fine in pbuilder. I built figtree 1.4-1 and tested it with >> pbuilder. I think that JAVA_HOME is set by the jdk packages (or debhelpers) > In other words this bug needs to be reassigned and is no issue for > figtree? I do not understand how it happens if it works with pbuilder on my server so I would say yes. As it is arch independent, buildd does not rebuild the package from source, there were several in debian-devel on this subject. It would be nicier to get all packages rebuild from source, even arch indep packages.
Maybe you could try to rebuild the package on your side to check that there is no computer config/env bias that could raise the error while being ok on my side. Olivier > > Kind regards > > Andreas. > -- Olivier Sallou IRISA / University of Rennes 1 Campus de Beaulieu, 35000 RENNES - FRANCE Tel: 02.99.84.71.95 gpg key id: 4096R/326D8438 (keyring.debian.org) Key fingerprint = 5FB4 6F83 D3B9 5204 6335 D26D 78DC 68DB 326D 8438 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
