Christian Prochaska 197be2602f Check if the required GCC version is used ...

Fixes #1531

2015-05-26 09:40:03 +02:00

..

etc

Add sel4_x86_32 to create_builddir tool

2015-05-26 09:40:01 +02:00

build.mk

Check if the required GCC version is used

2015-05-26 09:40:03 +02:00