--- a/packages/hal/arm/sa11x0/assabet/current/cdl/hal_arm_sa11x0_assabet.cdl
+++ b/packages/hal/arm/sa11x0/assabet/current/cdl/hal_arm_sa11x0_assabet.cdl
@@ -321,6 +321,8 @@ cdl_package CYGPKG_HAL_ARM_SA11X0_ASSABE
             This option lists the target's requirements for a valid Redboot
             configuration."
 
+        compile -library=libextras.a redboot_cmds.c
+    
         cdl_option CYGBLD_BUILD_REDBOOT_BIN {
             display       "Build Redboot ROM binary image"
             active_if     CYGBLD_BUILD_REDBOOT
@@ -329,8 +331,6 @@ cdl_package CYGPKG_HAL_ARM_SA11X0_ASSABE
             description "This option enables the conversion of the Redboot ELF
                          image to a binary image suitable for ROM programming."
 
-            compile -library=libextras.a redboot_cmds.c
-    
             make -priority 325 {
                 <PREFIX>/bin/redboot.bin : <PREFIX>/bin/redboot.elf
                 $(OBJCOPY) --strip-debug $< $(@:.bin=.img)