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