On Wed, 2014-10-22 at 17:24 +0200, Svante Signell wrote: > On Wed, 2014-10-22 at 16:48 +0200, Guillem Jover wrote: > > Hi! > >
> > W/o having checked the actual source, with more context, it seems to > > me this is possibly problematic: > > > + *gnu*) > > gnu*) is sufficient here, since the check is on host_os! > > > This catches any *gnu* system including linux-gnu, but I assume that > > was already matched upwards, as there's usage of COROSYNC_LINUX in the > > code below? Which means… The previous patch was OK too, since *gnu*) was last in the chain. Anyway, thanks for "alerting" me to find the header file removal for GNU/Linux. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org