make check: Do not re-check unless recheck=true.
authorJan Nieuwenhuizen <janneke@gnu.org>
Mon, 10 Jun 2019 09:39:31 +0000 (11:39 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Mon, 10 Jun 2019 09:39:31 +0000 (11:39 +0200)
commit502a203742c382d82354b291b064700c72d54d99
treeb145683b0625d4266af1b1a33004045f53962828
parent78b3c85f1571acaa6070508d4f2ff29866df0c2d
make check: Do not re-check unless recheck=true.

* build-aux/check-mescc.sh (recheck): New variable.
* build-aux/check.sh.in (recheck): New variable.
* build-aux/test-suite.sh (TEST_LOGS): Use it.
build-aux/check-mescc.sh
build-aux/check.sh.in
build-aux/test-suite.sh