diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/fate.texi | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/fate.texi b/doc/fate.texi index bc6ab3e..f076acd 100644 --- a/doc/fate.texi +++ b/doc/fate.texi @@ -120,6 +120,7 @@ samples=/path/to/fate/samples workdir= # directory in which to do all the work fate_recv="ssh -T fate@@fate.libav.org" # command to submit report comment= # optional description +build_only= # set to "yes" for a compile-only instance that skips tests # the following are optional and map to configure options arch= |