Merge pull request #273 from mpickering/master
authorAndrey Mokhov <andrey.mokhov@gmail.com>
Fri, 22 Jul 2016 13:09:40 +0000 (15:09 +0200)
committerGitHub <noreply@github.com>
Fri, 22 Jul 2016 13:09:40 +0000 (15:09 +0200)
Fix inability to find gmp.h when building concurrently


Trivial merge