<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Dec 4, 2014 at 8:22 AM, Akira Kakuto <span dir="ltr"><<a href="mailto:kakuto@fuk.kindai.ac.jp" target="_blank">kakuto@fuk.kindai.ac.jp</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I think it's a bug.<br>
</blockquote>
<br>
That is not a bug and is intentional:<br>
<br>
If<br>
show sometning;<br>
is meaningful, the function<br>
mp_begin_diagnostic() is called and<br>
history (exit value) is set to 1.<br></blockquote><div>1) The use of history in mpost is similar to metafont;</div><div>2) exit(history) is there at least from 1.1;</div><div>3) metafont exits with 0 in both cases;</div><div><br></div><div>I have to see the pre-C version of metapost --- but we could decide to accept a different behavior as well.</div><div><br></div><div><br></div><div><br></div><div> </div></div><br clear="all"><div><br></div>-- <br><div>luigi<br></div>
</div></div>