diff options
| -rw-r--r-- | core/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/core/Makefile b/core/Makefile index f6a246bcb..f8cf88200 100644 --- a/core/Makefile +++ b/core/Makefile | |||
| @@ -3122,7 +3122,7 @@ define check-sum-of-partition-sizes | |||
| 3122 | else \ | 3122 | else \ |
| 3123 | echo "The sum of sizes of [$(strip $(3))] is within $(strip $(1)):"; \ | 3123 | echo "The sum of sizes of [$(strip $(3))] is within $(strip $(1)):"; \ |
| 3124 | echo $${sum_sizes_expr} '==' $$(( $${sum_sizes_expr} )) '<=' "$(2)" '==' $$(( $(2) )); \ | 3124 | echo $${sum_sizes_expr} '==' $$(( $${sum_sizes_expr} )) '<=' "$(2)" '==' $$(( $(2) )); \ |
| 3125 | fi | 3125 | fi; |
| 3126 | endef | 3126 | endef |
| 3127 | 3127 | ||
| 3128 | define check-all-partition-sizes-target | 3128 | define check-all-partition-sizes-target |