EXTRA_DIST = $(srcdir)/check-*.c