diff options
-rw-r--r-- | man/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/Makefile.am b/man/Makefile.am index b690ad97d..151cb59d8 100644 --- a/man/Makefile.am +++ b/man/Makefile.am @@ -155,7 +155,7 @@ check-x-vs-1: all_programs = \ (cd ../src && MAKEFLAGS= $(MAKE) -s all_programs.list) \ - | grep -v '\[' + | sed -e 's,$(EXEEXT)$$,,' | grep -v '\[' .PHONY: check-programs-vs-x check-programs-vs-x: |