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)
commit368288ea3ce541b77e93b543bf0583ce3ed6debd
treebf3607a4373e76a71214d37178b3d6dfa1b1547b
parentdc21bc12a5bae95ba8fa611c343ff3789971853f
parent933dc6e7d9fc190ad64bf61d53217c2af9465b1d
Merge pull request #649 from jeffdonahue/warnlog

"make warn" to print compilation warnings; "make lint" runs incrementally