]> git.ipfire.org Git - thirdparty/man-pages.git/commit
projects / thirdparty / man-pages.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: acaa21b) | patch
Makefile: Use bash(1) with -Eeuo pipefail
authorAlejandro Colomar <alx.manpages@gmail.com>
Sun, 3 Apr 2022 00:24:44 +0000 (02:24 +0200)
committerAlejandro Colomar <alx.manpages@gmail.com>
Sat, 30 Apr 2022 17:53:25 +0000 (19:53 +0200)
commita82aaca13dabe61316e6393d321300dd451341b6
tree881c145aafcd11cb4c7f13bb52a33f81323a9699tree
parentacaa21bc4a6f4cbac10247f43688157d03002246commit | diff
Makefile: Use bash(1) with -Eeuo pipefail

sh(1) is not enough for the complex pipelines we're using.
Especially the one for clang-tidy(1) doesn't fail when the linter
fails.  There's probably a workaround using sh(1), but is it worth
it?  If so, maybe someone can help writing it.

Signed-off-by: Alejandro Colomar <alx.manpages@gmail.com>
Makefile diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.