<div dir="ltr">OK, thanks for the clarification!<br><br clear="all">--<br>Ehsan<br><<a href="http://ehsanakhgari.org/">http://ehsanakhgari.org/</a>><br>
<br><br><div class="gmail_quote">On Tue, Sep 18, 2012 at 12:43 AM, Kostya Serebryany <span dir="ltr"><<a href="mailto:kcc@google.com" target="_blank">kcc@google.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

This is actually not an extra slash, but an intentional one. <div>From <a href="http://code.google.com/p/address-sanitizer/wiki/AddressSanitizer#Call_stack" target="_blank">http://code.google.com/p/address-sanitizer/wiki/AddressSanitizer#Call_stack</a> : </div>


<div>   <span style="line-height:16.399999618530273px;font-size:13px;font-family:arial,sans-serif"> This script takes an optional parameter -- a file prefix. The substring </span><tt style="line-height:16.399999618530273px;max-width:66em;font-size:12px;font-family:Monaco,'DejaVu Sans Mono','Bitstream Vera Sans Mono','Lucida Console',monospace">.*prefix</tt><span style="line-height:16.399999618530273px;font-size:13px;font-family:arial,sans-serif"> will be removed from the file names.</span><br>


<br></div><div>Alexey is working on a replacement for this symbolizer and will hopefully update the documentation soon. <br><br>-kcc <br><br><br><div class="gmail_quote">On Tue, Sep 18, 2012 at 12:09 AM, Ehsan Akhgari <span dir="ltr"><<a href="mailto:ehsan.akhgari@gmail.com" target="_blank">ehsan.akhgari@gmail.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"><br></div>
<br>_______________________________________________<br>
cfe-commits mailing list<br>
<a href="mailto:cfe-commits@cs.uiuc.edu" target="_blank">cfe-commits@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits</a><br>
<br></blockquote></div><br></div>
</blockquote></div><br></div>