<p>It goes somehow with "use all objects from archive" or "link only what is used".</p>
<p>I find some infos that talk about "shared object and static library" and the other archives are handled as shared objects.<br>
OBJECTS¬†vs LIBS somehow.</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />You are receiving this because you are subscribed to this thread.<br />Reply to this email directly, <a href="https://github.com/RIOT-OS/RIOT/pull/11111#issuecomment-471633008">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AEn7YC-XjmzArsJFHvfMVW4Xv9r7xnD2ks5vVo4xgaJpZM4be_fV">mute the thread</a>.<img src="https://github.com/notifications/beacon/AEn7YLsqKqp0PdH6DIyAx89Cy5lgfHsvks5vVo4xgaJpZM4be_fV.gif" height="1" width="1" alt="" /></p>
<script type="application/json" data-scope="inboxmarkup">{"api_version":"1.0","publisher":{"api_key":"05dde50f1d1a384dd78767c55493e4bb","name":"GitHub"},"entity":{"external_key":"github/RIOT-OS/RIOT","title":"RIOT-OS/RIOT","subtitle":"GitHub repository","main_image_url":"https://github.githubassets.com/images/email/message_cards/header.png","avatar_image_url":"https://github.githubassets.com/images/email/message_cards/avatar.png","action":{"name":"Open in GitHub","url":"https://github.com/RIOT-OS/RIOT"}},"updates":{"snippets":[{"icon":"PERSON","message":"@cladmi in #11111: It goes somehow with \"use all objects from archive\" or \"link only what is used\".\r\n\r\nI find some infos that talk about \"shared object and static library\" and the other archives are handled as shared objects. \r\nOBJECTS¬†vs LIBS somehow.\r\n"}],"action":{"name":"View Pull Request","url":"https://github.com/RIOT-OS/RIOT/pull/11111#issuecomment-471633008"}}}</script>
<script type="application/ld+json">[
{
"@context": "http://schema.org",
"@type": "EmailMessage",
"potentialAction": {
"@type": "ViewAction",
"target": "https://github.com/RIOT-OS/RIOT/pull/11111#issuecomment-471633008",
"url": "https://github.com/RIOT-OS/RIOT/pull/11111#issuecomment-471633008",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>