diff options
author | Jim Meyering <jim@meyering.net> | 2002-01-22 11:22:03 +0000 |
---|---|---|
committer | Jim Meyering <jim@meyering.net> | 2002-01-22 11:22:03 +0000 |
commit | 7a50bc0dff6246c8b62f0bbf73d79c539d6c892a (patch) | |
tree | c760d4201c70b1b080ac3bd2e2ac7a4b5ced2956 | |
parent | 31a6a88517915ed8719ebb633bafc7f397f61225 (diff) | |
download | coreutils-7a50bc0dff6246c8b62f0bbf73d79c539d6c892a.tar.xz |
header-check: fix it yet again
-rw-r--r-- | Makefile.maint | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile.maint b/Makefile.maint index b04a7c0fa..4a42dd848 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 |