<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<br>
<div class="moz-cite-prefix">On Tuesday, March 17, 2015 08:47 AM,
Kostya Serebryany wrote:<br>
</div>
<blockquote
cite="mid:CAN=P9phkpFNbqag_nNHzK2DB3M+nw9yCWuviCDYwL-wujsULoQ@mail.gmail.com"
type="cite">
<div dir="ltr"><br>
<div class="gmail_extra"><br>
<div class="gmail_quote">On Fri, Mar 13, 2015 at 8:28 PM, Ben
Pope <span dir="ltr"><<a moz-do-not-send="true"
href="mailto:benpope81@gmail.com" target="_blank">benpope81@gmail.com</a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><span>On
Saturday, March 14, 2015 02:14 AM, Kostya Serebryany
wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px
0px
0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">What
is the version of you linux distribution?<br>
</blockquote>
<br>
</span>
Ubuntu Vivid, but the first time I posted, it was for
Trusty.<br>
</blockquote>
<div>Frankly, no idea what's wrong here. </div>
<div>We don't test on Vivid yet, but Trusty is our primary
platform. </div>
</div>
</div>
</div>
</blockquote>
Yeah, I run the tests and upload the binary for it.<br>
<blockquote
cite="mid:CAN=P9phkpFNbqag_nNHzK2DB3M+nw9yCWuviCDYwL-wujsULoQ@mail.gmail.com"
type="cite">
<div dir="ltr">
<div class="gmail_extra">
<div class="gmail_quote">I don't remember this kind of failure
on Trusty or any requirement to install any special packages
to have asm/posix_types.h, </div>
<div class="gmail_quote">which seems to be coming from the
linux-headers-3.13.0-46 package. </div>
<div class="gmail_quote">Is your Trusty a vanilla
installation? <br>
</div>
</div>
</div>
</blockquote>
<br>
Mostly, I wonder if installing the gcc-5 snapshot broke it?<br>
<br>
Trusty is working fine now, I'll try to remove gcc-5 from Vivid, but
that's not easy.<br>
<br>
Ben<br>
</body>
</html>