summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJim Meyering <jim@meyering.net>2002-01-22 11:13:50 +0000
committerJim Meyering <jim@meyering.net>2002-01-22 11:13:50 +0000
commit31a6a88517915ed8719ebb633bafc7f397f61225 (patch)
treefc3506d5cf4fda92221bcce165f6270b8fcae006
parent78ebc8e8d520e3419697aab8a119e313fa4e159b (diff)
downloadcoreutils-31a6a88517915ed8719ebb633bafc7f397f61225.tar.xz
(header-check): Add `&& :'.
-rw-r--r--Makefile.maint2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.maint b/Makefile.maint
index 1b68a1bd2..b04a7c0fa 100644
--- 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