diff options
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 8fb5d77..a406d44 100644 --- a/Makefile.am +++ b/Makefile.am @@ -40,4 +40,6 @@ dist-hook: echo Failed to generate AUTHORS: not a branch >&2; \ fi +localcheck: + include $(top_srcdir)/Makefile.am.coverage |