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



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