group/bld.inf
changeset 92 458d62869c00
parent 91 303d3e345b01
parent 83 9b61d901414f
child 109 fddd8ce1f29d
--- a/group/bld.inf	Wed Oct 27 15:24:40 2010 +0100
+++ b/group/bld.inf	Wed Oct 27 15:25:50 2010 +0100
@@ -17,7 +17,9 @@
 */
 
 PRJ_PLATFORMS
-DEFAULT
+ARMV5			
+// no tools
+// Don't build WINSCW because the system startup uses all of the resource files it can find!
 
 PRJ_MMPFILES