diff options
| author | Jim Meyering <jim@meyering.net> | 2002-01-22 11:13:50 +0000 |
|---|---|---|
| committer | Jim Meyering <jim@meyering.net> | 2002-01-22 11:13:50 +0000 |
| commit | 31a6a88517915ed8719ebb633bafc7f397f61225 (patch) | |
| tree | fc3506d5cf4fda92221bcce165f6270b8fcae006 | |
| parent | 78ebc8e8d520e3419697aab8a119e313fa4e159b (diff) | |
| download | coreutils-31a6a88517915ed8719ebb633bafc7f397f61225.tar.xz | |
(header-check): Add `&& :'.
| -rw-r--r-- | Makefile.maint | 2 |
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 |