add boot partition size

hc

2023-12-11 d2ccde1c8e90d38cee87a1b0309ad2827f3fd30d

 kernel/arch/arm/tools/Makefile
..
..
@@ -35,8 +35,7 @@
35
35
 
36
36
 quiet_cmd_gen_mach = GEN     $@
37
37
       cmd_gen_mach = mkdir -p $(dir $@) && \
38
-		     $(AWK) -f $(filter-out $(PHONY),$^) > $@ || \
39
-		     { rm -f $@; /bin/false; }
38
+		     $(AWK) -f $(filter-out $(PHONY),$^) > $@
40
39
 
41
40
 $(kapi)/mach-types.h: $(src)/gen-mach-types $(src)/mach-types FORCE
42
41
 	$(call if_changed,gen_mach)