Dave Murphy 4191cbef14 use gcc 8.2

2018-11-14 19:34:07 +00:00

..

build-gcc.sh

use gcc 8.2

2018-11-14 19:34:07 +00:00

build-libs.sh

build libraries when enabled

2018-06-06 03:03:26 +01:00

build-tools.sh

use right prefix for tools

2018-06-06 03:00:46 +01:00