pkgdataexampledir = $(pkgdatadir)/example/verifications/ok-version
dist_pkgdataexample_DATA = \
  dummy.c  Makefile.ok-version Makefile.tmpl



check2:
	make -f Makefile.ok-version clean
	make -f Makefile.ok-version prog
