On Wed, Dec 21, 2016 at 2:20 PM, Waldek Kozaczuk <[email protected]>
wrote:
> Great catch. It looks like I missed to test this combination ('make check'
> does not trigger this one). Does it mean that jenkins jobs do more than
> make check?
>
Yes, it does a few more things we at some point deemed useful to check (and
necessarily any exhaustive set of applications). It also checks tomcat, for
example.
>
> I will fix it.
>
Thanks.
Nadav.
--
You received this message because you are subscribed to the Google Groups "OSv
Development" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
