<p dir="ltr">Sigh. I'll look at it Monday. I don't think I broke it, but I might have</p>
<div class="gmail_quote">On Jul 4, 2015 10:40 PM, "Ilia Mirkin" <<a href="mailto:imirkin@alum.mit.edu">imirkin@alum.mit.edu</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Dylan, do you have a minute to take a look?<br>
<br>
~/src/piglit/piglit-summary-html.py -e skip -e pass tmp <(cat<br>
nvc1-2015-04-28-ilia/results.json) <(xzcat nvcf-2015-07-05-mupuf.xz )<br>
--overwrite<br>
Warning: A python exception that should have been handled was not.<br>
This is bug and should be reported.<br>
BUG: [Errno 20] Not a directory: '/dev/fd/63'<br>
<br>
Why is it expecting a directory? Should be able to just read the json<br>
in... This definitely used to work...<br>
<br>
-ilia<br>
</blockquote></div>