[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Our build system may be broken: /bin vs /usr/bin



Hi Dirk,

> | > … Simon McVittie has actually patched our testing framework to vary
> | > this and this is now live.
> | >
> | >   https://bugs.debian.org/901473#33
[…]
> Are we sure this is fixed?

It might have taken a while for various build chroots to update so
I would be wary of inferring too much, if anything, by comparing
timestamps.

It would, of course, also take a while to "get around" our somewhat
expansive archive...


Regards,

-- 
      ,''`.
     : :'  :     Chris Lamb
     `. `'`      lamby@debian.org / chris-lamb.co.uk
       `-


Reply to: