(header-check): Add `&& :'.

diff --git a/Makefile.maint b/Makefile.maint
index 1b68a1bd29787c6091c229f2b6d34fc333c18b9c..b04a7c0fa8fb611a2914763c64865f455f6a0570 100644 (file)
--- a/Makefile.maint
+++ b/Makefile.maint
@@ -63,7 +63,7 @@ local-check = \
 # It's not a big deal -- just aesthetics.
 header-check:
        if test -f $(srcdir)/src/sys2.h; then                           \
-         grep 'xalloc\.h' $(srcdir)/src/*.c || exit 1;                 \
+         grep 'xalloc\.h' $(srcdir)/src/*.c || exit 1 && :;                    \
        fi
 
 # Ensure that date's --help output stays in sync with the info