fate.sh: Allow setting other make flags for running tests
authorMartin Storsjö <martin@martin.st>
Tue, 21 May 2013 07:21:37 +0000 (10:21 +0300)
committerMartin Storsjö <martin@martin.st>
Wed, 23 Nov 2016 13:05:51 +0000 (15:05 +0200)
commit286ab878bd39b56008035638227b3ecb8ec5bbb7
treeca120ecf5f97ae42051e91be08753fafe9a09929
parentaa498c3183236a93206b4a0e8225b9db0660b50d
fate.sh: Allow setting other make flags for running tests

If makeopts_fate is set, these makeopts are used for running the
tests instead of the normal makeopts. If it isn't set, the normal
makeopts variable is used as before.

This is useful if remote testing on a lesser machine where a large
number of parallel jobs might be undesireable, while wanting to speed
up the build with many parallel processes.

Signed-off-by: Martin Storsjö <martin@martin.st>
doc/fate.texi
tests/fate.sh