diff options
| author | Rich Kadel <richkadel@google.com> | 2020-09-16 08:10:06 -0700 |
|---|---|---|
| committer | Rich Kadel <richkadel@google.com> | 2020-09-16 08:10:06 -0700 |
| commit | 5c29332ace48d8c34ad415ffcdce2641526938b8 (patch) | |
| tree | 728e033d3f83aa8fce29aa9243c104651fe76c28 /compiler/rustc_session/src | |
| parent | f7aee330c70ef787d2224adb49804343978dd145 (diff) | |
Make graphviz font configurable
Alternative to PR ##76776. To change the graphviz output to use an alternative `fontname` value, add a command line option like: `rustc --graphviz-font=monospace`.
Diffstat (limited to 'compiler/rustc_session/src')
| -rw-r--r-- | compiler/rustc_session/src/options.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/rustc_session/src/options.rs b/compiler/rustc_session/src/options.rs index f31e0431d0d..60bd557b880 100644 --- a/compiler/rustc_session/src/options.rs +++ b/compiler/rustc_session/src/options.rs @@ -909,6 +909,8 @@ options! {DebuggingOptions, DebuggingSetter, basic_debugging_options, "set the optimization fuel quota for a crate"), graphviz_dark_mode: bool = (false, parse_bool, [UNTRACKED], "use dark-themed colors in graphviz output (default: no)"), + graphviz_font: String = ("Courier, monospace".to_string(), parse_string, [UNTRACKED], + "use the given `fontname` in graphviz output (default: `Courier, monospace`)"), hir_stats: bool = (false, parse_bool, [UNTRACKED], "print some statistics about AST and HIR (default: no)"), human_readable_cgu_names: bool = (false, parse_bool, [TRACKED], |