diff options
author | Tuncer Ayaz <tuncer.ayaz@gmail.com> | 2011-05-25 12:08:55 +0200 |
---|---|---|
committer | Tuncer Ayaz <tuncer.ayaz@gmail.com> | 2011-05-25 19:34:10 +0200 |
commit | d7f50169203c21e31f342581683d16c1ae92a498 (patch) | |
tree | de3b549406fe7281205ba91d706e0ec11153b377 /Makefile | |
parent | 8e8c540347c63d17fc8b292053f91f96c4b538cd (diff) |
Abort if dialyze emits warnings
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions