Still Failing: g-i-installation_debian_sid_daily_hurd_lxde/391

[jenkins]

See 
https://jenkins.debian.net/job/g-i-installation_debian_sid_daily_hurd_lxde/391/ 
and 
https://jenkins.debian.net/job/g-i-installation_debian_sid_daily_hurd_lxde/391//console
 and 
https://jenkins.debian.net/job/g-i-installation_debian_sid_daily_hurd_lxde/391//artifact/results/
 if there are any.

Re: Bug#869699: gecode: FTBFS on hurd-i386: Host OS not supported.

[Kari Pahula]

On Wed, Jul 26, 2017 at 09:43:59PM +0300, Kari Pahula wrote:
> On Tue, Jul 25, 2017 at 02:14:24PM -0400, Aaron M. Ucko wrote:
> > Builds of gecode for hurd-i386 have been failing:
> > 
> >   checking for the host operating system... configure: error: Host OS not 
> > supported.

> I suppose this is just a case of upstream being overly defensive with
> their configure script.  Could someone running Hurd please give

Never mind.  I set the host_os type as linux (which is shared, among
others, with kfreebsd) and it seemed to build just fine with it.