Merge pull request #937 from nico/statfix
authorNico Weber <nicolasweber@gmx.de>
Thu, 19 Mar 2015 17:13:43 +0000 (10:13 -0700)
committerNico Weber <nicolasweber@gmx.de>
Thu, 19 Mar 2015 17:13:43 +0000 (10:13 -0700)
Make failing stat() calls abort the build.


Trivial merge