Index: hal/arm/edb7xxx/current/misc/edb7312_redboot_ROMRAM.ecm
===================================================================
RCS file: /misc/cvsfiles/ecos/packages/hal/arm/edb7xxx/current/misc/edb7312_redboot_ROMRAM.ecm,v
retrieving revision 1.1
diff -u -5 -p -r1.1 edb7312_redboot_ROMRAM.ecm
--- hal/arm/edb7xxx/current/misc/edb7312_redboot_ROMRAM.ecm	20 May 2002 22:21:52 -0000	1.1
+++ hal/arm/edb7xxx/current/misc/edb7312_redboot_ROMRAM.ecm	6 Dec 2002 15:01:41 -0000
@@ -104,5 +104,9 @@ cdl_option CYGBLD_ISO_DNS_HEADER {
 cdl_option CYGPKG_NS_DNS_BUILD {
     inferred_value 0
 };
 
 
+cdl_option CYGBLD_BUILD_REDBOOT_WITH_EXEC {
+    user_value 0
+};
+