<div dir="ltr">LGTM</div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Jun 17, 2016 at 5:29 AM, Rafael EspĂ­ndola <span dir="ltr"><<a href="mailto:rafael.espindola@gmail.com" target="_blank">rafael.espindola@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Updated version with Peter's suggestion.<br>
<br>
Cheers,<br>
Rafael<br>
<div class="HOEnZb"><div class="h5"><br>
<br>
On 16 June 2016 at 19:22, Peter Collingbourne <<a href="mailto:peter@pcc.me.uk">peter@pcc.me.uk</a>> wrote:<br>
> Or we could just rename/reverse the sense of the existing VersionScript flag<br>
> -- we aren't using it for anything else.<br>
><br>
> Peter<br>
><br>
> On Thu, Jun 16, 2016 at 3:43 PM, Rui Ueyama via llvm-commits<br>
> <<a href="mailto:llvm-commits@lists.llvm.org">llvm-commits@lists.llvm.org</a>> wrote:<br>
>><br>
>> I think we should add a new member to Config (say, `bool<br>
>> VersionScriptGlobalByDefault`) to manage "existence of version script" and<br>
>> "whether symbols are hidden or global by default" separately.<br>
>><br>
>> On Thu, Jun 16, 2016 at 2:53 PM, Rafael EspĂ­ndola<br>
>> <<a href="mailto:rafael.espindola@gmail.com">rafael.espindola@gmail.com</a>> wrote:<br>
>>><br>
>>> Doing that in an anonymous version is a bit silly, but this opens the<br>
>>> way for supporting it in general.<br>
>>><br>
>>> Since we don't support actual versions, for now we just disable the<br>
>>> version script if we detect that it is missing a local.<br>
>>><br>
>>> Cheers,<br>
>>> Rafael<br>
>><br>
>><br>
>><br>
>> _______________________________________________<br>
>> llvm-commits mailing list<br>
>> <a href="mailto:llvm-commits@lists.llvm.org">llvm-commits@lists.llvm.org</a><br>
>> <a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits</a><br>
>><br>
><br>
><br>
><br>
> --<br>
> --<br>
> Peter<br>
</div></div></blockquote></div><br></div>