Merge pull request #109 from efabless/jeffdi-patch-1

add verify target for makefile