pvsoptimize のレシピ設定に基づいて PVS ファイルを変更するには、コマンドラインから pvsoptimizebatch を使用します。