<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <br>
    <div class="moz-cite-prefix">On 05/09/2014 12:48 PM, Giovanni Pizzi
      wrote:<br>
    </div>
    <blockquote cite="mid:536CB277.9070206@epfl.ch" type="cite">
      <div class="moz-text-html" lang="x-western"> Changing lstat with
        stat, everything seems to work properly, instead (moreover,
        probably the <tt>#if defined(_WIN32)</tt> could also be
        removed, because the two sections would become identical).<br>
        <br>
        Does anyone have expertise with these functions and give us
        feedback on whether our modification makes sense and does not
        create different problems, and if we can proceed to commit the
        change?<br>
      </div>
    </blockquote>
    <br>
    Ok for me, but I'm definitely not an expert in unix system calls.<br>
    <br>
    <br>
    <blockquote cite="mid:536CB277.9070206@epfl.ch" type="cite">
      <div class="moz-text-html" lang="x-western"> <br>
        Thanks,<br>
        <br>
        Andrea Cepellotti and Giovanni Pizzi, THEOS-EPFL, Switzerland<br>
        <br>
        <br>
      </div>
      <br>
      <fieldset class="mimeAttachmentHeader"></fieldset>
      <br>
      <pre wrap="">_______________________________________________
Q-e-developers mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Q-e-developers@qe-forge.org">Q-e-developers@qe-forge.org</a>
<a class="moz-txt-link-freetext" href="http://qe-forge.org/mailman/listinfo/q-e-developers">http://qe-forge.org/mailman/listinfo/q-e-developers</a>
</pre>
    </blockquote>
    <br>
    <pre class="moz-signature" cols="72">-- 
Dr. Lorenzo Paulatto
IdR @ IMPMC -- CNRS & Université Paris 6
+33 (0)1 44 275 084 / skype: paulatz
<a class="moz-txt-link-freetext" href="http://www-int.impmc.upmc.fr/~paulatto/">http://www-int.impmc.upmc.fr/~paulatto/</a>
23-24/4é16 Boîte courrier 115, 4 place Jussieu 75252 Paris Cédex 05</pre>
  </body>
</html>