From 7a50bc0dff6246c8b62f0bbf73d79c539d6c892a Mon Sep 17 00:00:00 2001
From: Jim Meyering <jim@meyering.net>
Date: Tue, 22 Jan 2002 11:22:03 +0000
Subject: [PATCH] header-check: fix it yet again

---
 Makefile.maint | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Makefile.maint b/Makefile.maint
index b04a7c0fa8..4a42dd848e 100644
--- a/Makefile.maint
+++ b/Makefile.maint
@@ -63,7 +63,9 @@ 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 && :;			\
+	  if grep 'xalloc\.h' $(srcdir)/src/*.c; then			\
+	    exit 1;							\
+	  fi;								\
 	fi
 
 # Ensure that date's --help output stays in sync with the info
-- 
2.47.3