Merge pull request #406 from jeffdonahue/makefile-include-bug
authorJeff Donahue <jeff.donahue@gmail.com>
Sun, 11 May 2014 00:41:39 +0000 (17:41 -0700)
committerJeff Donahue <jeff.donahue@gmail.com>
Sun, 11 May 2014 00:41:39 +0000 (17:41 -0700)
Fix Makefile header dependency bug


Trivial merge