group/bld.inf
branchGCC_SURGE
changeset 36 7409e6184c90
parent 32 b12ea03c50a3
--- a/group/bld.inf	Tue Jun 15 11:38:32 2010 +0100
+++ b/group/bld.inf	Thu Jul 22 16:37:56 2010 +0100
@@ -17,7 +17,7 @@
 
 
 PRJ_PLATFORMS
-WINSCW ARMV5
+WINSCW ARMV5 GCCE
 
 #include "../genericpositioningplugins/group/bld.inf"
 #include "../landmarks/group/bld.inf"