diff options
| -rw-r--r-- | man/Makefile.am | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/man/Makefile.am b/man/Makefile.am index a367c3ddc..f634a8f0c 100644 --- a/man/Makefile.am +++ b/man/Makefile.am @@ -160,10 +160,11 @@ programs = \ .PHONY: check-programs-vs-x check-programs-vs-x: - test "$(programs)" && : || exit 1 - for p in `$(programs)`; do \ + status=0; \ + for p in dummy `$(programs)`; do \ + test $$p = dummy && continue; \ test $$p = ginstall && p=install || : ; \ test -f $(srcdir)/$$p.x \ - || { echo missing $$p.x 1>&2; missing=1; }; \ + || { echo missing $$p.x 1>&2; status=1; }; \ done; \ - test "$$missing" = 1 && exit 1 || : + exit $$status |