Dave Murphy 0467bcd3d6 use dead code elimination options

2017-01-11 19:04:39 +00:00

..

build-crtls.sh

disable libmirko

2016-11-16 21:26:46 +00:00

build-gcc.sh

use dead code elimination options

2017-01-11 19:04:39 +00:00

build-tools.sh

use name of dir to report errors instead of archive name

2014-11-22 16:31:23 +00:00