tree 11c7de0e4c9faa608894519d42bebe29062208dd
parent 688a64121c560daa8381bde321fc8b41ad312564
author Davide Pesavento <davide.pesavento@lip6.fr> 1498193930 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1498246994 -0400

build: use gold linker and enable linker optimizations

On Linux, gold is more than 2x faster than traditional bfd-based ld

Change-Id: I8b1c3275b542d60e976bad05dac522ca49e921cb