faultfind_config
faultfind_level
faultfind_recsize
FaultFinder レポートを書き込むファイルの名前を指定します。
>>-----set faultfind_outfile--=----"[>>]filename"----><
| filename | FaultFinder レポートが書き込まれるファイルです。 >> を指定すると、filename がすでに存在する場合には出力が追加されます。そうでない場合には、filename という名前のファイルが作成されます。 |
| filename に文字列 %p が含まれる場合には、この文字列は FaultFinder を起動したプログラムのプロセス ID に置換されます。 |
現在の作業ディレクトリの fltfnd_out.pid です。pid は FaultFinder 出力を起動したプロセスのプロセス ID です。
FaultFinderに関する詳細は、 デバッギングガイドを参照してください。