EXTRA_DIST = check.sh

check:
	$(top_srcdir)/scripts/check.sh