Skip to content
Snippets Groups Projects
user avatar
Masahiro Yamada authored
Every time we add/remove a target, we need to touch the header part,
including renumbering. This is not so important information.

Numbering targets is rather misleading because they are not necessarily
generated in this order. For example, 1) and 2) can be executed
simultaneously when the -j option is given.

Signed-off-by: default avatarMasahiro Yamada <yamada.masahiro@socionext.com>
Reviewed-by: default avatarKieran Bingham <kieran.bingham@ideasonboard.com>
01d509a4
History
Name Last commit Last update