GDC CI

[wjoe]

On Wednesday, 16 September 2020 at 21:05:27 UTC, Iain Buclaw 
wrote:
> On Wednesday, 16 September 2020 at 12:50:57 UTC, wjoe wrote:
>>[...]
>
> You should be able to get yourself down to about ~30MB. ;-)
>
> I'll see if there's any miscellaneous tweaks you can do, but 
> the most obvious one is `strip --strip-debug`.
>
> [...]

I guess the /usr prefix makes sense if it's built for the .deb 
package.

>
> [...]

A triplet prefix it is :)

>
> [...]

I think this may come in handy.