]> git.ipfire.org Git - thirdparty/make.git/commit
projects / thirdparty / make.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d12ff78) | patch
[SV 56301] Fail if an included makefile can't be built
authorDmitry Goncharov <dgoncharov@users.sf.net>
Tue, 20 Sep 2022 07:08:29 +0000 (03:08 -0400)
committerPaul Smith <psmith@gnu.org>
Tue, 20 Sep 2022 07:55:39 +0000 (03:55 -0400)
commita9a49199095daf5ac6f7d90bcd98b24e8e8ab39b
treec7a6b83f4cd0b66188975a759494379f6e356b43tree
parentd12ff78cb207027b04792c28078ba1086cddcd95commit | diff
[SV 56301] Fail if an included makefile can't be built

Fail if a mandatory include file fails to be built even if it's
built as part of a grouped target where the other include file
is optional.

* src/main.c (main): If a makefile doesn't build set any_failed.
* tests/scripts/features/include: Add tests.
* tests/scripts/options/dash-k: Stop after include build failure.
src/main.c diff | blob | blame | history
tests/scripts/features/include diff | blob | blame | history
tests/scripts/options/dash-k diff | blob | blame | history
Mirror of https://git.savannah.gnu.org/git/make.git