* autogen.sh: Add --no-check option. (Bug#25359)
commitd40073f017ffb3dee2266f356c127ef587c40b71
authorGlenn Morris <rgm@gnu.org>
Wed, 11 Jan 2017 20:01:28 +0000 (11 15:01 -0500)
committerGlenn Morris <rgm@gnu.org>
Wed, 11 Jan 2017 20:01:28 +0000 (11 15:01 -0500)
treedbb77f88f8ff6a2f2ee007d00c96d2a98b8f2128
parent255f675d890b7fa2dc97a40dc03e82fa95b22e65
* autogen.sh: Add --no-check option.  (Bug#25359)
autogen.sh