GNU Makefile 中的填充数字

Question

在 GNU Make 中，您有一个数字列表：

NUMBERS = 8 9 10

你怎么能用前导零填充它们？

NUMBERS = 08 09 10

Answer 1

似乎Make（至少是GNU Make）没有处理这种类型数据的功能。您可以疯狂使用 shell（仅在 unix 上）：

NUMBERS = 8 9 10
NUMBERS2=$(foreach v,$(NUMBERS),$(shell printf '%02d' $(v)))
all:
    echo $(NUMBERS2)

将打印：

08 09 10