<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">Done: <a href="https://github.com/apple/swift/pull/403">https://github.com/apple/swift/pull/403</a><br></div></div><div class="gmail_extra"><br clear="all"><div><div class="gmail_signature">-Brad Erickson</div></div>
<br><div class="gmail_quote">On Thu, Dec 10, 2015 at 11:24 AM, Brad Erickson <span dir="ltr"><<a href="mailto:brad@eosrei.net" target="_blank">brad@eosrei.net</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 class="gmail_default" style="font-family:tahoma,sans-serif">Totally reasonable. I'll take care of it.<span class="HOEnZb"><font color="#888888"><br></font></span></div></div><div class="gmail_extra"><span class="HOEnZb"><font color="#888888"><br clear="all"><div><div>-Brad Erickson</div></div></font></span><div><div class="h5">
<br><div class="gmail_quote">On Thu, Dec 10, 2015 at 10:53 AM, Dmitri Gribenko <span dir="ltr"><<a href="mailto:gribozavr@gmail.com" target="_blank">gribozavr@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span>On Thu, Dec 10, 2015 at 10:33 AM, Brad Erickson via swift-dev<br>
<<a href="mailto:swift-dev@swift.org" target="_blank">swift-dev@swift.org</a>> wrote:<br>
><br>
> The best solution is to remove one and rename the other simply: [preset: buildbot_linux], but that will have far reaching effects. Nothing that can't be dealt with though. How should this be handled?<br>
<br>
</span>The best solution is to sink all common parts into buildbot_linux, and<br>
keep buildbot_linux_* presets for emergency customization like that,<br>
if it would be required in future.<br>
<br>
Please submit a pull request, if you would like to work on this.<br>
<span><font color="#888888"><br>
Dmitri<br>
<br>
--<br>
main(i,j){for(i=2;;i++){for(j=2;j<i;j++){if(!(i%j)){j=0;break;}}if<br>
(j){printf("%d\n",i);}}} /*Dmitri Gribenko <<a href="mailto:gribozavr@gmail.com" target="_blank">gribozavr@gmail.com</a>>*/<br>
</font></span></blockquote></div><br></div></div></div>
</blockquote></div><br></div>