valgrind プラグインを使用して jenkins CI をインストールしました。そこには非常に重要なことが 1 つ欠けています: 実行可能オプションを設定することはできません。パラメータを設定できますがvalgrind my_executable -opt my_option_value
、プラグインを呼び出すとコマンドが生成され、valgrind my_executable "-opt my_option_value"
これは役に立ちません。
この機能に対応するジラ チケットを見つけました。バージョン 0.12 以降で修正されたと言われていますが、私のジェンキン (最新バージョン - 1.500 および valgrind プラグイン 0.18) にも、メインのプラグイン Web サイトのスクリーンショットにも表示されません。
valgrind jenkins プラグインが実行可能オプションをサポートしているかどうかは誰にもわかりませんか?