<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Apr 21, 2015 at 11:05 AM, luigi scarso <span dir="ltr"><<a href="mailto:luigi.scarso@gmail.com" target="_blank">luigi.scarso@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"><div dir="ltr"><br><div class="gmail_extra"><div><div class="h5"><br><div class="gmail_quote">On Tue, Apr 21, 2015 at 10:55 AM, luigi scarso <span dir="ltr"><<a href="mailto:luigi.scarso@gmail.com" target="_blank">luigi.scarso@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"><div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote"><div><div>On Tue, Apr 21, 2015 at 10:41 AM, Peter Breitenlohner <span dir="ltr"><<a href="mailto:peb@mppmu.mpg.de" target="_blank">peb@mppmu.mpg.de</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">Hi Luigi,<br>
<br>
each time I rebuild luatex and luajittex (on Linux) the binaries differ<br>
although the sources are the same.  I had thought extra_version_info defined<br>
in CPPFLAGS is no longer used?<br>
<br></blockquote></div></div><div>hm let me check </div></div><span><font color="#888888"><div><br></div>-- <br><div>luigi<br></div>
</font></span></div></div>
</blockquote></div><br></div></div>extra_version_info is not used from rev 4999.<span class=""><font color="#888888"><br clear="all"><div><br></div></font></span></div></div></blockquote><div>rev. 4999  is the last one that use  extra_version_info, rev. 5081 has the new format.<br>The file is luatex.c</div><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"><div dir="ltr"><div class="gmail_extra"><span class=""><font color="#888888"><div></div></font></span></div></div></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature">luigi<br></div>
</div></div>