group/bld.inf
changeset 83 9b61d901414f
parent 71 20afbbdb50d8
child 92 458d62869c00
--- a/group/bld.inf	Tue Oct 26 11:41:47 2010 +0100
+++ b/group/bld.inf	Wed Oct 27 09:59:12 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