<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On 2 April 2018 at 11:17, Ch g <span dir="ltr"><<a href="mailto:prsvrrgtd@outlook.com" target="_blank">prsvrrgtd@outlook.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">




<div dir="ltr">
<div id="m_1869808538175152595divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif" dir="ltr">
<div id="m_1869808538175152595divtagdefaultwrapper" style="font-size:12pt;color:rgb(0,0,0);font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols" dir="ltr">
<p style="margin-top:0;margin-bottom:0"><span style="font-size:12pt">I noticed several invalid option, Valgrind, header file not found errors by "</span><span style="font-size:12pt">grep -C 5 error config.log", the related output are:</span></p></div></div></div></blockquote><div><br></div><div><font size="4">That is normal. That is what the configure script does, figures out what options are valid. (Among other things.)</font></div><div><font size="4"><br></font></div><div><font size="4">--tml</font></div><div><br></div></div></div></div>