diff options
Diffstat (limited to 'Makefile.maint')
| -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 |