add an option for a custom differ
This commit is contained in:
parent
bca5fdebe0
commit
73238301f4
2 changed files with 3 additions and 0 deletions
|
|
@ -387,6 +387,8 @@ pub struct Config {
|
|||
/// True if the profiler runtime is enabled for this target.
|
||||
/// Used by the "needs-profiler-runtime" directive in test files.
|
||||
pub profiler_runtime: bool,
|
||||
|
||||
pub diff_command: Option<String>,
|
||||
}
|
||||
|
||||
impl Config {
|
||||
|
|
|
|||
|
|
@ -364,6 +364,7 @@ pub fn parse_config(args: Vec<String>) -> Config {
|
|||
git_merge_commit_email: matches.opt_str("git-merge-commit-email").unwrap(),
|
||||
|
||||
profiler_runtime: matches.opt_present("profiler-runtime"),
|
||||
diff_command: env::var("COMPILETEST_DIFF_TOOL").ok(),
|
||||
}
|
||||
}
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue