Merge pull request #494 from mopsfelder/configure
commit5fec14017cd0c66ae46e0a1dc690bec261fdca13
authorJonas Fonseca <jonas.fonseca@gmail.com>
Wed, 13 Apr 2016 12:09:40 +0000 (13 08:09 -0400)
committerJonas Fonseca <jonas.fonseca@gmail.com>
Wed, 13 Apr 2016 12:09:40 +0000 (13 08:09 -0400)
treef53a0f11aeb2fcf87f51dba910502afe871ee888
parentcf74a8ce3854e09e66a9df3680ee1e350ace91c6
parent327cac09e682e85d924d29d2ab05a10d2902569a
Merge pull request #494 from mopsfelder/configure

Make 'make configure' quieter