diff options
Diffstat (limited to 'doc/fate.texi')
-rw-r--r-- | doc/fate.texi | 2 |
1 files changed, 2 insertions, 0 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 |