diff options
| -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 |