Options globales Commentaires (Verbose), Silencieux (Quiet) et Rechercher (Investigate)

Ces options sont les mêmes que les options de ligne de commande correspondantes. Le fait de configurer l'option de ligne de commande définit l'option globale lors de l'exécution. À l'inverse, si l'option globale est définie et si l'option de ligne de commande n'est pas définie, l'option globale est prioritaire. Autrement dit, il n'est pas possible d'annuler la définition d'une option globale à partir de la ligne de commande.

<global>
 <!-- run in verbose mode -->
 <option>verbose</option>
 <!-- run in quiet mode -->
 <option>quiet</option>
 <!-- investigate only and generate a map -->
 <option>investigate</option>
</global>

© 2002-2007 PreEmptive Solutions. Tous droits réservés.