[RV glue]Option de la ligne de commande

Option de la ligne de commande

Cette page décrit quelles options peuvent être passés à rvglue. Ces options ne font pas partie du fichier de commande, mais sont données comme arguments au programme, comme 'rvglue -v mycom.txt'.

-o=filename, -output=filename

Ignore la section 'create' et écrit dans d'autres fichiers .w et .ncp.

-v, -verbose

Affiche plus de détails sur l'exécution du programme.

-d, -debug

Beaucoup de sorties, plus de détails sur les calculs internes, utile pour le déboguage.

-q, -quiet

Désactive toutes les sorties sauf les messages d'erreur en une ligne.

-n, -nohelp

Désactive la description des erreurs qui suit un message d'erreur.

-h, -help

Affiche la liste des options de la ligne de commande, ne fait rien d'autre.

-XD

Déboguage excessif. Doit être suivi d'un ou plusieurs caractères pour indiqué ce qu'il faut déboguer. Utilisez -XD+ pour voir tous les messages de déboguage.