Manuel Pégourié-Gonnard 854dab96fe Fix the fix for armcc5 --gnu
Only exclude armcc5, not armcc6.
2015-08-10 12:11:31 +02:00
..
2015-08-10 12:11:31 +02:00
2015-03-10 11:23:56 +00:00