diff options
| -rw-r--r-- | doc/fate.texi | 2 | ||||
| -rwxr-xr-x | tests/fate.sh | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/doc/fate.texi b/doc/fate.texi index 9b8d953d85..9e654e79a1 100644 --- a/doc/fate.texi +++ b/doc/fate.texi @@ -159,6 +159,8 @@ extra_conf= # extra configure options not covered above #make= # name of GNU make if not 'make' makeopts= # extra options passed to 'make' +#makeopts_fate= # extra options passed to 'make' when running tests, + # defaulting to makeopts above if this is not set #tar= # command to create a tar archive from its arguments on # stdout, defaults to 'tar c' @end example 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(){ |