gridcoin/Gridcoin-Research — pull request #11 by theMarix (2014-12-31 15:01:53+00:00)
Title: Make LevelDB's platform detection script executable.

Building from a vanilla checkout breaks with a “Permission Denied” error
otherwise.