Closed FokkeZB closed 7 years ago
Makefile
No longer needed since #153 introduces a bash script that exits 1 on warnings. It works great as it is.
Makefile
so you can easily run it local