diff options
| author | Martin Storsjö <martin@martin.st> | 2013-05-21 10:21:37 +0300 |
|---|---|---|
| committer | Martin Storsjö <martin@martin.st> | 2016-11-23 15:05:51 +0200 |
| commit | 286ab878bd39b56008035638227b3ecb8ec5bbb7 (patch) | |
| tree | ca120ecf5f97ae42051e91be08753fafe9a09929 /tests/fate.sh | |
| parent | aa498c3183236a93206b4a0e8225b9db0660b50d (diff) | |
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>
Diffstat (limited to 'tests/fate.sh')
| -rwxr-xr-x | tests/fate.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/fate.sh b/tests/fate.sh index b8ee1ae549..f7ca89135c 100755 --- a/tests/fate.sh +++ b/tests/fate.sh @@ -73,7 +73,7 @@ compile()( fate()( test "$build_only" = "yes" && return cd ${build} || return - ${make} ${makeopts} -k fate + ${make} ${makeopts_fate-${makeopts}} -k fate ) clean(){ |