Merge pull request #649 from jeffdonahue/warnlog
authorEvan Shelhamer <shelhamer@imaginarynumber.net>
Wed, 9 Jul 2014 06:47:36 +0000 (08:47 +0200)
committerEvan Shelhamer <shelhamer@imaginarynumber.net>
Wed, 9 Jul 2014 06:47:36 +0000 (08:47 +0200)
"make warn" to print compilation warnings; "make lint" runs incrementally


Trivial merge