Merge pull request #3086 from rubenk/reduce-configure-noise
authorPavel Rochnyak <pavel2000@ngs.ru>
Tue, 19 Feb 2019 08:14:30 +0000 (15:14 +0700)
committerGitHub <noreply@github.com>
Tue, 19 Feb 2019 08:14:30 +0000 (15:14 +0700)
commitac7de78a8192c90dcde81491cfa14a602825a205
tree2a0cac7295ca6628ef8fc8ed79960226255d2a3e
parentf4fe48957bcaa485affafee1dd4e29ef75ddbc3c
parent2495404dd920b7860ebd9dce0cb7da31b018edb2
Merge pull request #3086 from rubenk/reduce-configure-noise

Reduce the amount of output from ./configure